From: Jalview Development Admin <jalview-dev-owner@jalview.org>
Date: Tue, 28 May 2019 12:43:21 +0000 (+0100)
Subject: Merge branch 'develop' into releases/Release_2_11_Branch
X-Git-Tag: Release_2_11_0~9^2^2
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=08013bb0d3f603fa376d0b013f4ccb3ff1642bd7;p=jalview.git

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

08013bb0d3f603fa376d0b013f4ccb3ff1642bd7