Merge branch 'develop' into bug/JAL-3753_resources_duplicated_in_jalview_jar
[jalview.git] / j11lib / intervalstore-v1.1.jar
2020-05-18 gmungocJAL-3621 update to intervalstore v1.1