Skip to content

Make the BUG_REPORT_URL configurable by tools #110989

Merged
bors merged 2 commits intorust-lang:masterfrom jyn514:bug-report-urlMay 6, 2023

Commits

Commits on Apr 29, 2023

Commits on May 2, 2023