Skip to content

Fix default "disable-shortcuts" feature value#65740

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:fix-disable-shortcut-feature
Oct 25, 2019

Commits

Commits on Oct 23, 2019