Skip to content

chore: autolabel more for A-*#11679

Merged
bors merged 1 commit intorust-lang:masterfrom
weihanglo:autolabel
Feb 9, 2023
Merged

chore: autolabel more for `A-*`#11679
bors merged 1 commit intorust-lang:masterfrom
weihanglo:autolabel

Commits

Commits on Feb 4, 2023