Skip to content

v0.4.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 26 Oct 20:00
· 28 commits to main since this release
v0.4.0
7e9f444
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • Android: Hold to talk asks for the microphone by @david415 in #23
  • Pin group_chat_client with fsync from lean_os; releases reproducible again by @david415 in #22
  • Lean 4.35.0; version 0.4.0 by @david415 in #24

Full Changelog: v0.3.0...v0.4.0

Contributors

david415
Assets 6
Loading