Subject: Re: bug#13931: 24.3.50; latest trunk fails to compile on linux
From: Paul Eggert <[email-masked]>
To: Stefan Monnier <[email-masked]>
Cc: [email-masked]
Date: Tue, 12 Mar 2013 20:53:02 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks for installing a patch (trunk bzr 112029).
It works for me and I'm marking this as done.