watcher: Add file deleted by accident
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Sat, 21 Nov 2020 16:21:14 +0000 (17:21 +0100)
committerBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Sat, 21 Nov 2020 16:21:14 +0000 (17:21 +0100)
commit18c13adcd46bdff963311fdba9eaa9b5a299106e
tree19cbde15816c38f8f21f5c017dfb5ffa30b14759
parent20a35374a3c90adb32a90a5f671afb15165210be
watcher: Add file deleted by accident

See #7972
watcher/batcher.go [new file with mode: 0644]