Merge branch 'improvement/JAL-4111_suffixed_DEVELOP_channels' into development/Releas...
[jalview.git] / src / jalview / ws / jws2 / PreferredServiceChangeListener.java
2020-07-20 Mateusz WarownyJAL-3690 alternative servers menu fix