Closed entorb closed 1 year ago
@entorb I leave judging this one to you, I forget whether you're able to merge PRs; let me know if not and I'll give you that ability!
I have the permission, merged and triggered the building of a new release, should be ready in 20min.
fix for https://github.com/rrthomas/hpmor/issues/141