Merge branch 'develop' into bug/JAL-1988_JAL-3772_improved_quit_handling
authorBen Soares <b.soares@dundee.ac.uk>
Thu, 27 Oct 2022 15:20:14 +0000 (16:20 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Thu, 27 Oct 2022 15:20:14 +0000 (16:20 +0100)
1  2 
src/jalview/bin/Jalview.java

Simple merge