05-16-2009
2,157,
51
Join Date: Feb 2007
Last Activity: 6 September 2017, 5:43 AM EDT
Location: Innsbruck, Austria
Posts: 2,157
Thanks Given: 12
Thanked 51 Times in 48 Posts
It's most likely a bug.
However, here's what you should do: after zipping the file on each machine, unzip it again, and compare the files using cmp or diff. If they are identical, don't worry about it.