Fix changelog category for coq#17321

SkySkimmer · Feb 27, 2024 · 6640ee4 · 6640ee4
1 parent 87ca4b9
commit 6640ee4
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/...ix16288-extraction-prim-field-functor.rst → ...ix16288-extraction-prim-field-functor.rst b/...ix16288-extraction-prim-field-functor.rst → ...ix16288-extraction-prim-field-functor.rst