Andreas Tille Sat, 24 Aug 2019 15:52:43 -0700
Hi, the issue with gzip is fixed in Git. However I'm running into a new issue
-- http://fam-tille.de