Skip to content

Change flags with a fixed default value from Option<bool> to bool#106671

Merged
bors merged 2 commits intorust-lang:masterfrom
tmiasko:opt-bool
Jan 11, 2023
Merged

Change flags with a fixed default value from Option<bool> to bool#106671
bors merged 2 commits intorust-lang:masterfrom
tmiasko:opt-bool

Commits

Commits on Jan 10, 2023