Le 26/09/2018 à 18:26, Emmanuel Bourg a écrit : > I got the same issue with some big eclipse packages. I worked around it > by watching and repacking the .zip archive instead of the .tar.gz
Hello, I think this bug is similar to #831870 (tar bug probably). Could we merge them ?
