Skip to content

Remove PR labeler, use autolabeler#69

Merged
lucacome merged 1 commit intomasterfrom
chore/remove-pr-labeler
Feb 19, 2021
Merged

Remove PR labeler, use autolabeler#69
lucacome merged 1 commit intomasterfrom
chore/remove-pr-labeler

Commits

Commits on Feb 19, 2021