1 files changed, 5 insertions(+), 0 deletions(-)

A doc/changelog/04-tactics/19675-janno-fix-19668.rst

@@ 0,0 1,5 @@
+- **Fixed:**
+  Fix a regression in `Hint Extern` matching primitive projections
+  (`#19675 <https://github.com/coq/coq/pull/19675>`_,
+  fixes `#19668 <https://github.com/coq/coq/issues/19668>`_,
+  by Jan-Oliver Kaiser).