Add change log. (typetools#5035)

eisop · Feb 1, 2022 · a667528 · a667528
1 parent 8dddcc0
commit a667528
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md
@@ -50,6 +50,9 @@ Version 3.2?.? (February 1, 2022)
 The `wpi.sh` script supports non-standard names for build system compile targets
 via the new `-c` command-line option.
 
+The Checker Framework now more precisely computes and checks the type of the
+pattern variable in a pattern match instanceof.
+
 **Implementation details:**
 
 Deprecated CFGLambda.getMethod{Name} in favor of getEnclosingMethod{Name}.