JAL-2656 recognise Gzipped file input streams by their content, not their filename
authorJim Procter <jprocter@issues.jalview.org>
Tue, 28 Jul 2020 10:29:20 +0000 (11:29 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Tue, 28 Jul 2020 10:38:23 +0000 (11:38 +0100)
commit91560f40856280be24f0001d4e9a786a4dce819e
tree5665718d8872537d479ba64e1a9a6d3948e19153
parent9d80ddcce63a122c459c84f547ceacb91824e15b
JAL-2656 recognise Gzipped file input streams by their content, not their filename

Conflicts:
src/jalview/io/FileParse.java
cherypicked from 2.11.1.1 release patch
src/jalview/io/FileParse.java