From: Jim Procter <jprocter@issues.jalview.org>
Date: Thu, 31 May 2018 12:41:36 +0000 (+0100)
Subject: Merge branch 'develop' into spike/JAL-1950_hmmer3client
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=1b0f0d6c0a343e67453ed4f7e1ca3f9c2a7a6ff2;p=jalview.git

Merge branch 'develop' into spike/JAL-1950_hmmer3client
---

1b0f0d6c0a343e67453ed4f7e1ca3f9c2a7a6ff2