From: Jim Procter <jprocter@issues.jalview.org>
Date: Fri, 10 May 2019 16:21:28 +0000 (+0100)
Subject: Merge branch 'develop' into releases/Release_2_11_Branch
X-Git-Tag: Release_2_11_0~13
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=e47415829a6b2259c27833aae3a05d51d5db5ff5;p=jalview.git

Merge branch 'develop' into releases/Release_2_11_Branch
---

e47415829a6b2259c27833aae3a05d51d5db5ff5