Merge PR #14401: Fix changelog entry for PR 14087

Reviewed-by: Zimmi48 Co-authored-by: Zimmi48 <Zimmi48@users.noreply.github.com>
coq · May 28, 2021 · 92f3b90 · 92f3b90
2 parents 0cb7fd1 + 81fd007
commit 92f3b90
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/...andard-library/14087-q-lemmas/qlemmas.rst → ...og/10-standard-library/14087-q-lemmas.rst b/...andard-library/14087-q-lemmas/qlemmas.rst → ...og/10-standard-library/14087-q-lemmas.rst