Closed math-GH closed 9 months ago
the dev versions were forgotten to update
Ah right! Sorry about that :/ I'll spend some time to automate that some day… (edit: it's deployed, thanks!)
the dev versions were forgotten to update