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: Release_2_11_4_0~45^2~9^2 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=e34c136813102a83b827b6ee0be888857246c9ca;p=jalview.git Merge branch 'bug/JAL-3541_cloverReport_gradle_task_fails' into develop --- e34c136813102a83b827b6ee0be888857246c9ca