Skip to content

Update Contributing.md with instructions how to merge PRs#200

Merged
EwoutH merged 1 commit intomasterfrom contributing-merge-PRsOct 25, 2022

Commits

Commits on Oct 23, 2022