Closed allcontributors[bot] closed 5 years ago
Adds @s-weigand as a contributor for doc, infra, maintenance.
This was requested by s-weigand in this comment
Cosing this PR till #40 is merged.
Note: Don't rush the bot 😛
Adds @s-weigand as a contributor for doc, infra, maintenance.
This was requested by s-weigand in this comment