Skip to content

Allow changing the bug report url for the ice hook#85640

Merged
bors merged 2 commits intorust-lang:masterfrom
bjorn3:custom_ice_hook
Jun 25, 2021
Merged

Allow changing the bug report url for the ice hook#85640
bors merged 2 commits intorust-lang:masterfrom
bjorn3:custom_ice_hook

Commits