#1630 PR merged: cat /dev/null input shortened to :¶

Labels: cleanup, fixed / solved / done

ProBackup-nl opened issue at 2017-12-07 18:44:¶

: > $file is equivalent (not identical) to touch $file

(Besides cat is a concatenation tool.)

---

[Export of Github issue for rear/rear.]