path: root/doc/changelog/04-tactics/13761-remove_convert_concl_nc.rst

- **Removed:**
  convert_concl_no_check.  Use :tacn:`change_no_check` instead
  (`#13761 <https://github.com/coq/coq/pull/13761>`_,
  by Jim Fehrle).