Subject: Re: port better to POSIX hosts lacking _setjmp

From: Paul Eggert <[email-masked]>
Date: Sat, 15 Sep 2012 00:10:04 -0700

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