# HG changeset patch
# User HackBot
# Date 1519790685 0
# Node ID a8bfcbe38477417fd2cadb70d733b9493ad4429a
# Parent  932ce04c87530d05f978df4cf2c63a547aad27d2
<oerjan> revert

diff -r 932ce04c8753 -r a8bfcbe38477 bin/rm-p
--- a/bin/rm-p	Wed Feb 28 04:04:07 2018 +0000
+++ b/bin/rm-p	Wed Feb 28 04:04:45 2018 +0000
@@ -1,1 +1,1 @@
-rm "$1"; rmdir -p "$(dirname "$1")"
+rm "$1"; rmdir -p "$(dirname "$1")" 2>/dev/null