# HG changeset patch
# User HackBot
# Date 1519790738 0
# Node ID 1b06c78d80de565c9726eafe89d027b7d36af40a
# Parent  1de784ce9e2aec278fbec322ec7c602dc70b51b6
<oerjan> revert

diff -r 1de784ce9e2a -r 1b06c78d80de bin/rm-p
--- a/bin/rm-p	Wed Feb 28 04:05:31 2018 +0000
+++ b/bin/rm-p	Wed Feb 28 04:05:38 2018 +0000
@@ -1,1 +1,1 @@
-rm "$1" ;; { rmdir -p "$(dirname "$1")" 2>/dev/null
+rm "$1"; rmdir -p "$(dirname "$1")" 2>/dev/null