Commit 0455e4cfe51150108c2239380a0f81ba321b4e7c

Bruno Haible 2022-12-27T11:13:05

stdnoreturn: Mark as deprecated, not obsolete. (Regression 2022-12-24.) * modules/stdnoreturn (Status): Remove. (Notice): Say that it is deprecated, not obsolete. * doc/noreturn.texi: Fix a typo.