max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: add release note about lake startup time (#2597)

Browse source
This commit is contained in:
Scott Morrison 2023-09-27 18:20:48 +10:00 • committed by GitHub
parent ae470e038e
commit 75f91f372c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
RELEASES.md
View file

@ -13,7 +13,7 @@ v4.3.0 (development in progress)
v4.2.0
---------
No breaking changes.
* Improvements to Lake startup time ([#2572](https://github.com/leanprover/lean4/pull/2572), [#2573](https://github.com/leanprover/lean4/pull/2573))
v4.1.0
---------