Commit 159ddb872986f121818e816d2ea75d271075ba1f

Ebrahim Byagowi 2018-06-24T23:09:16

Treat - just as /dev/stdin and remove one extra file reader (#1065)