forwarded 703565 http://debbugs.gnu.org/cgi/bugreport.cgi?bug=14012 tags 703565 + upstream thanks
Oops... reporting to 2 ITS-s at the same time is a nice feature, but I didn't mean to try it with this case.
Anyway, as it's already done, this is also #14012 upstream. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
