Skip to content

Release 1.8.5
Compare
Choose a tag to compare
@djcb djcb released this 05 Jul 22:20
· 59 commits to release/1.8 since this release
v1.8.5
This tag was signed with the committer’s verified signature.
djcb Dirk-Jan C. Binnema
GPG key ID: 11DDFEA9DCC4A036
Learn about vigilant mode.
2433cf7

New stable release:

  • some minor build updates
  • add a lispdir option
  • the 1.8.4 release & tag got mixed up, so we're going straight to 1.8.5
Assets 4
Loading