doc/changelog/07-commands-and-options/12677-require-v811-error-compat.rst


1
2
3
4
5

- **Fixed:**
  Properly report the mismatched magic number of vo files
  (`#12677 <https://github.com/coq/coq/pull/12677>`_,
  fixes `#12513 <https://github.com/coq/coq/issues/12513>`_,
  by Pierre-Marie Pédrot).