Subject: Re: NO_RETURN -> _Noreturn
From: Paul Eggert <[email-masked]>
To: [email-masked]
Cc: Eli Zaretskii <[email-masked]>
Date: Sun, 24 Jun 2012 10:41:12 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

I've committed this patch to the trunk as bzr 108722
and am marking the bug as done.