From 73a2f62397da4b086333f664d6979feec28c6feb Mon Sep 17 00:00:00 2001 From: Andreas Dangel Date: Sun, 13 Feb 2022 19:13:02 +0100 Subject: [PATCH] Update release notes, refs #3767 --- docs/pages/release_notes.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/pages/release_notes.md b/docs/pages/release_notes.md index dab590463f..6befd8b1a8 100644 --- a/docs/pages/release_notes.md +++ b/docs/pages/release_notes.md @@ -23,7 +23,7 @@ This is a {{ site.pmd.release_type }} release. ### External Contributions -* [#3767](https://github.com/pmd/pmd/pull/3767): \[core] Update GUI.java +* [#3767](https://github.com/pmd/pmd/pull/3767): \[core] Update GUI.java - [Vyom Yadav](https://github.com/Vyom-Yadav) {% endtocmaker %}