Skip to content

Fix wrong path in triage bot autolabel for wg-trait-solver-refactor#106848

Merged
bors merged 1 commit intorust-lang:masterfrom BoxyUwU:correct_triagebot_pathJan 14, 2023

Commits

Commits on Jan 14, 2023