Skip to content

Commit

Permalink
Update CHANGES
Browse files Browse the repository at this point in the history
  • Loading branch information
@Julow
Julow committed Nov 27, 2024
1 parent 76b0fa3 commit 5451329
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CHANGES.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,7 @@ profile. This started with version 0.26.0.
- Added back the flag `--disable-outside-detected-project` (#2439, @gpetiot)
It was removed in version 0.22.

- Support newer Odoc syntax (#2631, #2632, @Julow)
- Support newer Odoc syntax (#2631, #2632, #2633, @Julow)

### Changed

Expand Down

0 comments on commit 5451329

Please sign in to comment.