I have remove some deprecated, now
odd-order does not compile anymore. What should I do? Just do a PR that fixs
I think odd-order has never been properly updated to mathcomp 1.12
I think a global cleanup PR to adjust to mathcomp 1.12 is in order, + a new release
Ok I will first to do PR to update mathcomp to 1.12. Then I will do the 1.13 stuff
ok just did the PR
ok did the duplicate clear too
ok did all I could do on odd-order, hope this helps
I'm trying to repare various CIs...
Could you rebase your PRs on top of master to make the CIs run ?
Last updated: Dec 06 2023 at 13:01 UTC