Subject: Re: Give more-useful info on a fatal error.
From: Paul Eggert <[email-masked]>
To: [email-masked]
Cc: Juanma Barranquero <[email-masked]>, Eli Zaretskii <[email-masked]>
Date: Tue, 04 Sep 2012 11:30:38 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

I installed this patch into the trunk as bzr 109879
and am marking it as done.