Skip to content

1.8.0

Choose a tag to compare

@thoni56 thoni56 released this 20 Mar 10:20
· 2011 commits to main since this release
  • Changed DB format because of removal of unused Usages
  • Remove some more Java stuff
  • Refactorings and tidyings
  • Ditch the FlushableMemory type