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 %}