Skip to content

docs: add hotfix31 as a contributor#881

Merged
Pierre-Gilles merged 2 commits intomasterfrom all-contributors/add-hotfix31Sep 7, 2020