Skip to content

Fix useless_format suggestions#3808

Merged
bors merged 1 commit intomasterfrom
unknown repository
Feb 25, 2019
Merged

Fix `useless_format` suggestions#3808
bors merged 1 commit intomasterfrom
unknown repository

Commits

Commits on Feb 24, 2019