]> Savannah Git Hosting - gnulib.git/commit
attribute: remove ATTRIBUTE_DEPRECATED
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 9 May 2020 19:00:08 +0000 (12:00 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 9 May 2020 19:02:35 +0000 (12:02 -0700)
commit756ec156caadb80f91ec9b30e3496f41749c9009
treefe825d3039841c3b007e4646fb22d4b432ea0f63
parent4b1ee2b6326533be82e1b23f31945022ea389e80
attribute: remove ATTRIBUTE_DEPRECATED

* lib/attribute.h: Improve recently-added comments, mostly
by shortening them (use active voice, etc.).
(ATTRIBUTE_DEPRECATED): Remove, as it duplicates DEPRECATED.
Problem reported by Bruno Haible in:
https://lists.gnu.org/r/bug-gnulib/2020-05/msg00089.html
ChangeLog
lib/attribute.h