v1.4.2
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