Subject: Re: Simplify redefinition of 'abort'.
From: Paul Eggert <[email-masked]>
To: Eli Zaretskii <[email-masked]>
Cc: [email-masked], [email-masked]
Date: Tue, 04 Sep 2012 10:36:17 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

I've installed that patch and am marking this bug as done.