From: soares Date: Tue, 26 May 2020 14:36:27 +0000 (+0100) Subject: Merge branch 'bug/JAL-3541_cloverReport_gradle_task_fails' into develop X-Git-Tag: Develop-2_11_2_0-d20201215~24^2~59^2 X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=commitdiff_plain;h=e34c136813102a83b827b6ee0be888857246c9ca Merge branch 'bug/JAL-3541_cloverReport_gradle_task_fails' into develop --- e34c136813102a83b827b6ee0be888857246c9ca