added changelog entry

eisop · Jan 14, 2025 · c08ddd3 · c08ddd3
1 parent 137060f
commit c08ddd3
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md
@@ -3,11 +3,14 @@ Version 3.42.0-eisop6 (January ??, 2025)
 
 **User-visible changes:**
 
+The Nullness Checker now reports an error if any instanceof pattern variables are annotated with `@Nullable`
+and a redundant warning if they are annotated with `@NonNull`.
+
 **Implementation details:**
 
 **Closed issues:**
 
-eisop#1003, eisop#1033.
+eisop#1003, eisop#1033, eisop#1058
 
 
 Version 3.42.0-eisop5 (December 20, 2024)