bug#11712: Help with a bug

[Paul Eggert]

On 08/13/2012 09:43 PM, Chong Yidong wrote:

> The patch proposed by Ulrich seems safer for 24.2.

Yes, I agree.  I reviewed the patch in
<http://bugs.gnu.org/11712#5>
and it looks good to me.  I didn't test it or anything
like that; I merely read it.

Please note that the attachment in
<http://debbugs.gnu.org/cgi/bugreport.cgi?msg=5;filename=systime-time_t.diff;att=1;bug=11712>
is problematic because it uses UTF-8 encoding but the HTTP
server doesn't say so in the HTTP header; please be careful if
you use that attachment, or otherwise Ulrich's last name might be
misspelled in the ChangeLog entry.