Update release notes

2020-08-25 16:48:16 +02:00
parent fde23333a0
commit 31b75d3acb
1 changed files with 1 additions and 0 deletions
--- a/docs/pages/release_notes.md
+++ b/docs/pages/release_notes.md
@ -120,6 +120,7 @@ For the changes, see [PMD Designer Changelog](https://github.com/pmd/pmd-designe

 ##### For removal

+*   {% jdoc !!core::RuleViolationComparator %}
 *   {% jdoc !!core::Rule#getParserOptions() %}
 *   {% jdoc !!core::lang.Parser#getParserOptions() %}
 *   {% jdoc core::lang.AbstractParser %}