From 918456bbccb538a7ffa5c2e13dd3bc7de4736dae Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cl=C3=A9ment=20Fournier?= Date: Fri, 11 Feb 2022 21:49:37 +0100 Subject: [PATCH] Update release notes, refs #3767 --- docs/pages/release_notes.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/pages/release_notes.md b/docs/pages/release_notes.md index b8f8783555..f69f91b778 100644 --- a/docs/pages/release_notes.md +++ b/docs/pages/release_notes.md @@ -20,5 +20,7 @@ This is a {{ site.pmd.release_type }} release. ### External Contributions +* [#3767](https://github.com/pmd/pmd/pull/3767): \[core] Update GUI.java + {% endtocmaker %}