Merge branch 'bug/JAL-3412idWidthDiscrepancy' into develop
authorJim Procter <jprocter@issues.jalview.org>
Thu, 27 Feb 2020 17:27:41 +0000 (17:27 +0000)
committerJim Procter <jprocter@issues.jalview.org>
Thu, 27 Feb 2020 17:27:41 +0000 (17:27 +0000)

Trivial merge