Skip to content

Commit b5be1fe

Browse files
jmidjmid
committed
Prepare CHANGES for next release
1 parent 0db1c21 commit b5be1fe

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

‎CHANGES.md‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,9 @@
11
# Changes
22

3+
## NEXT RELEASE
4+
5+
- ...
6+
37
## 0.11
48

59
- #571: Adjust the exception matched in `domain/domain_spawntree.ml` to build

0 commit comments

Comments
 (0)