Add change log. (#5035)

typetools · Feb 1, 2022 · 00353dc · 00353dc
1 parent 5461e03
commit 00353dc
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md
@@ -6,6 +6,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}.