Closed fchapoton closed 2 years ago
I think the Windows CI failure is caused by a bug in spherogram
that manifests itself only occasionally. I am rerunning it to see what happens.
Yes, it's a spherogram
bug unrelated to these changes. Going ahead with the merge.
This compiles and pass all the tests on my machine.
I just had to fix two old-style prints.