When there are multiple filenames, print what got interpreted as filenames#58345

Merged

bors merged 1 commit intorust-lang:masterfrom

RalfJung:2nd-filename

Feb 11, 2019

Commits on Feb 10, 2019

when there are multiple filenames, print what got interpreted as 2nd filename
RalfJung
committed