From: Ben Soares Date: Tue, 2 Jul 2019 19:26:50 +0000 (+0100) Subject: Merge branch 'develop' into task/JAL-3337_gradle_tasks_sourceDist_and_help2Website X-Git-Tag: Release_2_11_0~2^2~2^2 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=75f2acbe801fe1552db1cb93f58eb081c4c846c2;p=jalview.git Merge branch 'develop' into task/JAL-3337_gradle_tasks_sourceDist_and_help2Website merging in develop --- 75f2acbe801fe1552db1cb93f58eb081c4c846c2