On Mon, Sep 30, 2019 at 02:39:50PM +0300, Dmitry V. Levin wrote: > When an input file cannot be opened, include its name > into the error diagnostics.
Looks very sensible. Pushed to master. Thanks, Mark
On Mon, Sep 30, 2019 at 02:39:50PM +0300, Dmitry V. Levin wrote: > When an input file cannot be opened, include its name > into the error diagnostics.
Looks very sensible. Pushed to master. Thanks, Mark