ignore-value.h: remove unused _GL_ATTRIBUTE_DEPRECATED definition * lib/ignore-value.h (_GL_ATTRIBUTE_DEPRECATED): Remove now-unused definition. Reported by Bruno Haible.
2012-05-14T17:33:15