Skip to content

Fix sorting of platforms and boards#1282

Merged
silvanocerza merged 1 commit intomasterfrom
scerza/fix-sorting-order
May 7, 2021

Commits

Commits on May 7, 2021