path: root/doc/changelog/04-tactics/13781-deprecate_micromega_options.rst

- **Deprecated:**
  The micromega option :flag:`Simplex`, which is currently set by default
  (`#13781 <https://github.com/coq/coq/pull/13781>`_, by Frédéric Besson).