Give credit to the author of a recent change

suddenfall · May 1, 2023 · 23c7c20 · 23c7c20
1 parent 7419ec9
commit 23c7c20
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/NEWS b/NEWS
@@ -13,6 +13,10 @@ Asciidoc:
  * Labels of cross-references were not translatable (GitHub's #400).
    Thanks Jean-Noël Avila for the pull request.
 
+Tex:
+ * Allow verbatim environment declaration without trailing space
+   (GitHub's #407). Thanks Mayeul Cantan for the report & the fix.
+
 Translations:
  * Updated: French, thanks Jérémie Tarot.
  * Updated: Japanese, thanks gemmaro.