]> Savannah Git Hosting - gnulib.git/commit
stdnoreturn: Mark as deprecated, not obsolete. (Regression 2022-12-24.)
authorBruno Haible <bruno@clisp.org>
Tue, 27 Dec 2022 10:13:05 +0000 (11:13 +0100)
committerBruno Haible <bruno@clisp.org>
Tue, 27 Dec 2022 10:14:04 +0000 (11:14 +0100)
commit0455e4cfe51150108c2239380a0f81ba321b4e7c
treef95e01b2dea81feadabf29be67de4ef9fd669960
parente899c64d9c28b2037593130f79ce144c2c93d814
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.
ChangeLog
doc/noreturn.texi
modules/stdnoreturn