Github user bodewig commented on the issue:
    `ZipEncoding` is a better choice for our internal use as it is used to 
encode the name (and deals with "use null as the encoding to use the platform's 
default encoding" transparently). You don't have to make the changes yourself 
(but if you do, please add spaces around operators :-) ), but I won't complain 
if you are faster than me.


Reply via email to