Closed BrunoSalami closed 2 years ago
@BrunoSalami I really believe this is fixed now; but it would be helpful if you could confirm independently.
confirmed!
(I ran make test
which is where I think this must have happened and everything passes now)