Skip to content

Fix the wrong comment#11651

Merged
bors merged 2 commits intorust-lang:masterfrom Rustin170506:rustin-patch-commentFeb 1, 2023

Commits

Commits on Jan 30, 2023