Update RELEASE_NOTES.md

**NO_CI***
2023-07-31 13:55:45 -04:00 · 2023-07-31 13:55:45 -04:00 · 1a76321f7d
parent aa0aa65d61
commit 1a76321f7d
1 changed files with 4 additions and 2 deletions
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@ -1,7 +1,9 @@
 ## Validator Changes

-* no changes
+* Fix invalid integer detection
+* Improved invariant checking

 ## Other code changes

-* no changes
+* Update obligation handling code for split definitions
+* Update ICF importer to handle grouping levels