path: root/doc/changelog/02-specification-language/10997-unsupport-atts-warn.rst

- The unsupported attribute error is now an error-by-default warning,
  meaning it can be disabled (`#10997
  <https://github.com/coq/coq/pull/10997>`_, by Gaëtan Gilbert).