fix: syntax in the script - Githubissues

jcommelin / queueboard

Mathlib4 review and triage dashboard

https://jcommelin.github.io/queueboard/

Apache License 2.0

3 stars 4 forks source link

fix: syntax in the script #29

Closed grunweg closed 3 months ago