path: root/doc/changelog/08-tools/12613-coqchk-noi.rst

- **Removed:** The option ``-I`` of coqchk was removed (it was
  deprecated in Coq 8.8) (`#12613
  <https://github.com/coq/coq/pull/12613>`_, by Gaëtan Gilbert).