path: root/doc/changelog/04-tactics/12993-remove-cutrewrite.rst

- **Removed:**
  Deprecated ``cutrewrite`` tactic. Use :tacn:`replace` instead
  (`#12993 <https://github.com/coq/coq/pull/12993>`_,
  by Théo Zimmermann).