SIGN IN SIGN UP

Merge #10694: zipfile now ignores garbage at the end of a zipfile.

R
R David Murray committed
51fcb811e3169661d2995b1e6de6d1b46a7284c3