Release v2.11.2: Release version 2.11.2 (#478) · boogie-org/boogie · GitHub

v2.11.2
1546caf
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23
Expired

Verified
Learn about vigilant mode
Compare

Choose a tag to compare

Loading

View all tags

v2.11.2: Release version 2.11.2 (#478)

v2.11.2
1546caf
Compare

Choose a tag to compare

Loading

View all tags
Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.

GPG key ID: 4AEE18F83AFDEB23
Expired

Verified
Learn about vigilant mode

keyboardDrummer tagged this 10 Jan 17:07

Co-authored-by: Remy Willems <>

Assets 2