path: root/doc/changelog/11-infrastructure-and-dependencies/11245-bye+py2.rst

- **Removed:**
  Python 2 is not longer required in any part of the codebase
  (`#11245 <https://github.com/coq/coq/pull/11245>`_,
  by Emilio Jesus Gallego Arias).