3dfaaa0 Invent an input filename when reading from a pipe.

Authored and Committed by nickc 6 years ago
    Invent an input filename when reading from a pipe.
    Resolves: #1523401
    
        
file modified
+14 -1