python: add change note

This commit is contained in:
yoff
2026-02-08 09:45:32 +01:00
parent 7351e82c92
commit 7df44f9418

View File

@@ -0,0 +1,4 @@
---
category: minorAnalysis
---
* When a guard such as `isSafe(x)` is defined, we now also automatically handle `isSafe(x) == true` and `isSafe(x) != false`.