Skip to content

Correct trailing ellipsis in name_from_pat#55254

Merged
bors merged 1 commit intomasterfrom
clean-two-dots
Oct 25, 2018

Commits

Commits on Oct 21, 2018