Skip to content

Update to new Backtrace API

Compare
Choose a tag to compare
@djs55 djs55 released this 20 Nov 14:20
· 897 commits to master since this release
  • remove GC stats reporting
  • add opam file
  • update to new Backtrace API