Closed MOZGIII closed 3 years ago
Fixes another missed detail for #81.
Rebase onto latest master please. I fixed the CI to also run on PRs.
Done!
Fixes another missed detail for #81.