-
Mathieu Bridon authored
Turns out we forgot to do this when we migrated. It is especially bad since our contributor documentation points to Github, until we merge this commit.
7d04f697
To find the state of this project's repository at the time of any of these versions, check out the tags.