From 522b1ad1c3f043802e35af319a323bf96ff3676e Mon Sep 17 00:00:00 2001
From: Daniel Kahn Gillmor <dkg@fifthhorseman.net>
Date: Sat, 15 Nov 2008 17:02:33 -0500
Subject: [PATCH] /var/lib/monkeysphere will get taken care of by debhelper
 appropriately.  Leave it alone.

---
 packaging/debian/monkeysphere.postrm | 1 -
 1 file changed, 1 deletion(-)

diff --git a/packaging/debian/monkeysphere.postrm b/packaging/debian/monkeysphere.postrm
index 8f87ed3..7c0fede 100755
--- a/packaging/debian/monkeysphere.postrm
+++ b/packaging/debian/monkeysphere.postrm
@@ -7,7 +7,6 @@
 
 case $1 in
     purge)
-        rmdir --ignore-fail-on-non-empty /var/lib/monkeysphere || true
         echo "removing monkeysphere user..."
         userdel monkeysphere > /dev/null || true
         ;;
-- 
2.25.1