Subject: Re: port better to POSIX hosts lacking _setjmp
From: Paul Eggert <[email-masked]>
To: [email-masked]
Cc: [email-masked], Eli Zaretskii <[email-masked]>
Date: Sat, 15 Sep 2012 00:10:04 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

I installed this into the trunk as bzr 110035
and am marking the bug as done.