Merge branch 'develop' into bug/JAL-1988_JAL-3772_improved_quit_handling
authorBen Soares <b.soares@dundee.ac.uk>
Thu, 29 Sep 2022 14:55:25 +0000 (15:55 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Thu, 29 Sep 2022 14:55:25 +0000 (15:55 +0100)
commit0980e87380e2922790d01bde3f616115f1916a43
treeb96157674ae313eaccc16225d4bbf1f0f6373ca1
parent5afdbcf85bf0a52dbb3124f47d05be659284c93c
parent7a75c9344b107e95d3f77a89c0dad99b7c222128
Merge branch 'develop' into bug/JAL-1988_JAL-3772_improved_quit_handling