path: root/doc/changelog/07-commands-and-options/11162-local-cs.rst

- **Added:** Handle the ``#[local]`` attribute in :g:`Canonical
  Structure` declarations (`#11162
  <https://github.com/coq/coq/pull/11162>`_, by Enrico Tassi).