From: Jim Procter <jprocter@issues.jalview.org>
Date: Tue, 2 Jul 2019 19:47:52 +0000 (+0100)
Subject: Merge branch 'develop' into tasks/JAL-3311_removeVamsasMenu
X-Git-Tag: Release_2_11_0~2^2~12^2
X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=commitdiff_plain;h=6f812eb434553c97cccaaaefa35da54afc72bb79

Merge branch 'develop' into tasks/JAL-3311_removeVamsasMenu
---

6f812eb434553c97cccaaaefa35da54afc72bb79