From: Ben Soares Date: Fri, 7 Jun 2019 11:20:33 +0000 (+0100) Subject: Merge branch 'develop' into task/JAL-3248_rewritten_building_md_instructions X-Git-Tag: Release_2_11_0~7^2~16 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=0e8381b652bfb8ab2ef75c7213217b317ef9f238;p=jalview.git Merge branch 'develop' into task/JAL-3248_rewritten_building_md_instructions merging in latest changes in develop --- 0e8381b652bfb8ab2ef75c7213217b317ef9f238