4 ms·It's certainly a useless use of /dev/stdin.by jwilk 2y agoIt's certainly a useless use of /dev/stdin.