From: Jim Procter <jprocter@issues.jalview.org>
Date: Mon, 2 Jul 2018 09:24:54 +0000 (+0100)
Subject: Merge branch 'task/JAL-3047_clovercoverage' into develop
X-Git-Tag: Release_2_11_0~24^2
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=08b92d7d822bff399cbbcc1ce9937b9e232fef37;p=jalview.git

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

08b92d7d822bff399cbbcc1ce9937b9e232fef37