Skip to content

Commit 874a390

Browse files
committed
Update CHANGELOG
1 parent 781d500 commit 874a390

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

CHANGELOG.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,7 @@ The type system was made possible thanks to a partnership between [CNRS](https:/
4242

4343
* [Enum] Add `Enum.min_max` sorter
4444
* [Kernel] Print intermediate results of `dbg` for pipes
45+
* [Kernel] Warn on unused requires
4546

4647
### 2. Bug fixes
4748

0 commit comments

Comments
 (0)