Merge branch 'develop' into releases/Release_2_10_3_Branch
authorJim Procter <jprocter@issues.jalview.org>
Thu, 30 Nov 2017 12:09:58 +0000 (12:09 +0000)
committerJim Procter <jprocter@issues.jalview.org>
Thu, 30 Nov 2017 12:09:58 +0000 (12:09 +0000)

Trivial merge