Update release notes, fixes #82

pmd · Jun 30, 2019 · f7ff85c · f7ff85c
1 parent 1490737
commit f7ff85c
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/ReleaseNotes.md b/ReleaseNotes.md
@@ -13,8 +13,14 @@ This is a minor release.
 
 ### New and noteworthy
 
+*   Marker Icons: Instead of the geometrical figures, the old icons for the PMD markers can
+    be selected again:
+    ![Screenshot of PMD Marker Property Page](https://raw.githubusercontent.com/wiki/pmd/pmd-eclipse-plugin/images/PMDMarkerPriorityIcons.png)
+
 ### Fixed Issues
 
+*   [#82](https://github.com/pmd/pmd-eclipse-plugin/issues/82): Support old PMD icons
+
 ### API Changes
 
 ### External Contributions