v1.4.2

Peiyang-Song released this 14 Aug 06:58

· 37 commits to main since this release

52e211e

What's Changed

Incorporate recent commits by @Peiyang-Song in #107
FIX: Build succeeds and features succeed without lean server crash by @Adarsh321123 in #106
Fix CMake flags by @Peiyang-Song in #109
Bump to Lean v4.10.0-rc2 by @Peiyang-Song in #110

New Contributors

@Adarsh321123 made their first contribution in #106

Full Changelog: v1.4.1...v1.4.2

Contributors

Adarsh321123 and Peiyang-Song

Assets 6