Skip to content

Commit

Permalink
Add cherry-picks to changelog
Browse files Browse the repository at this point in the history
  • Loading branch information
emillon committed Nov 16, 2023
1 parent 68723da commit f9c22ce
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,8 @@

- Introduce new experimental odoc rules (#8803, @jonjudlam)

- Cherry-pick #9177 and #9201 (@emillon)

3.12.0~alpha1 (2023-11-10)
--------------------------

Expand Down

0 comments on commit f9c22ce

Please sign in to comment.