From: BobHanson Date: Sun, 7 Jun 2020 18:09:26 +0000 (-0500) Subject: Merge branch 'Jalview-JS/develop' of https://source.jalview.org/git/jalview.git into... X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=5a5514a5273db974fa5f20e4540302e1c7f9b7d7;hp=-c;p=jalview.git Merge branch 'Jalview-JS/develop' of https://source.jalview.org/git/jalview.git into Jalview-JS/develop --- 5a5514a5273db974fa5f20e4540302e1c7f9b7d7