From: [email-masked] (Fabián Ezequiel Gallina)
To: [email-masked]
Date: Thu, 12 Dec 2013 00:51:34 -0300
List-Id: <debbugs-submit.debbugs.gnu.org>

Fixed in revno 115477.

Thanks Nathan Trapuzzano for the patch.

Regards,
Fabián.