path: root/doc/changelog/08-cli-tools/13822-rm-depr-cmdline.rst

- **Removed:** previously deprecated command line options
  ``-sprop-cumulative`` and ``-input-state`` and its alias ``-is``
  (`#13822 <https://github.com/coq/coq/pull/13822>`_,
  by Gaëtan Gilbert).