path: root/doc/changelog/07-commands-and-options/11164-let-cs.rst

- A section variable introduces with :g:`Let` can be declared as a :g:`Canonical Structure` (`#11164 <https://github.com/coq/coq/pull/11164>`_, by Enrico Tassi).