Merge branch 'bug/JAL-3295_CMD_select_not_working_in_sequence_selection' into develop
authorJim Procter <jprocter@issues.jalview.org>
Thu, 13 Jun 2019 14:49:33 +0000 (15:49 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Thu, 13 Jun 2019 14:49:33 +0000 (15:49 +0100)

Trivial merge