Subject: unarchive 3735

From: Don Hopkins <[email-masked]>
Date: Mon, 28 Jul 2014 14:44:24 +0200

unarchive 3735

This bug is DEFINITELY not fixed. 

http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3735