Closed michielbdejong closed 6 months ago
I'll merge this since nobody has objected to it in 3 weeks and it's just a docs change in this repo's contribution instructions, not a change in the content of the website.
I'll merge this since nobody has objected to it in 3 weeks and it's just a docs change in this repo's contribution instructions, not a change in the content of the website.