From: Ben Soares Date: Thu, 30 May 2019 15:55:54 +0000 (+0100) Subject: Merge branch 'develop' into task/JAL-3248_rewritten_building_md_instructions X-Git-Tag: Release_2_11_0~7^2~20 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=9bccd1128c145fd944f4d5134e19e4455d9b0eb7;p=jalview.git Merge branch 'develop' into task/JAL-3248_rewritten_building_md_instructions Merging in develop --- 9bccd1128c145fd944f4d5134e19e4455d9b0eb7