Merge branch 'develop' into releases/Release_2_10_3_Branch
authorJim Procter <jprocter@issues.jalview.org>
Tue, 23 Jan 2018 14:11:15 +0000 (14:11 +0000)
committerJim Procter <jprocter@issues.jalview.org>
Tue, 23 Jan 2018 14:11:15 +0000 (14:11 +0000)

Trivial merge