Skip to content

Use the new "type" labels after GH migration. - #419

Merged
ezio-melotti merged 1 commit into
masterfrom
update-the-type-labels
Mar 25, 2022
Merged

ezio-melotti merged 1 commit into
masterfrom
update-the-type-labels

Commits

  1. Commits on Mar 24, 2022