Subject: Re: Simplify redefinition of 'abort'.

From: Paul Eggert <[email-masked]>
Date: Tue, 04 Sep 2012 10:36:17 -0700

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