From: Ben Soares Date: Wed, 22 May 2019 11:18:01 +0000 (+0100) Subject: Merge branch 'bug/JAL-3141_backupfiles_prefs_widget_disable_bug' into merge/develop_b... X-Git-Tag: Release_2_11_1_0~53^2~20 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=7e207b38944654b23b1dffe17c50bee095573176;p=jalview.git Merge branch 'bug/JAL-3141_backupfiles_prefs_widget_disable_bug' into merge/develop_backupfilefix/JAL-3141_remove_saveproject_and_fix_buglet Merging three unmerged commits --- 7e207b38944654b23b1dffe17c50bee095573176