From: Ben Soares Date: Wed, 3 Jul 2019 15:24:54 +0000 (+0100) Subject: Merge branch 'develop' into task/JAL-3348_document_cli_memory_settings_when_launching... X-Git-Tag: Release_2_11_0~1^2~6^2~8 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=e417a2cc319e7d17d1ccb92f9d3f8e708a1b1652;p=jalview.git Merge branch 'develop' into task/JAL-3348_document_cli_memory_settings_when_launching_jalview merging in develop --- e417a2cc319e7d17d1ccb92f9d3f8e708a1b1652