Skip to content

Use <stdin> when emitting stdin as filename#4298

Merged
topecongiro merged 2 commits intorust-lang:masterfrom
topecongiro:issue-4117
Jul 3, 2020
Merged

Use <stdin> when emitting stdin as filename#4298
topecongiro merged 2 commits intorust-lang:masterfrom
topecongiro:issue-4117

Commits

Commits on Jun 30, 2020