Skip to content

Commit

Permalink
chore: release notes for 4.10.0 (leanprover#4857)
Browse files Browse the repository at this point in the history 
Includes some 4.9.0 entries for changes made after those release notes
were written.
  • Loading branch information
@kmill @FR-vdash-bot
kmill authored and FR-vdash-bot committed Sep 4, 2024
1 parent f528297 commit 25a0078
Showing 1 changed file with 281 additions and 1 deletion.
Loading

0 comments on commit 25a0078

Please sign in to comment.