From: Jim Procter <jprocter@issues.jalview.org>
Date: Thu, 19 Jul 2018 15:37:40 +0000 (+0100)
Subject: Merge branch 'task/JAL-3047_clovercoverage' into develop
X-Git-Tag: Release_2_11_0~23
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=035d24444cbba067a84958c75fba709d54b6f1c2;p=jalview.git

Merge branch 'task/JAL-3047_clovercoverage' into develop
---

035d24444cbba067a84958c75fba709d54b6f1c2