Hi Gábor,
> Done. Actually you had all the modifications, so I pushed this as is. Thank you! > Please update me if breakage occurs. Ludo also noted that > (utime jar 0 0) is most probably not needed in strip-jar-timestamps. Should > we remove that? I don’t remember why it was added in the first place. I think it is fine to remove it, but if someone finds that this is not the case it would be good to add a comment. -- Ricardo
