From 7c31f3eda8d4a5015ad0203ecbbcb5846ffe7802 Mon Sep 17 00:00:00 2001
From: Daniel Kahn Gillmor <dkg@fifthhorseman.net>
Date: Sat, 16 Aug 2008 11:01:40 -0400
Subject: [PATCH] fixed typo in output.

---
 src/monkeysphere-server | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/monkeysphere-server b/src/monkeysphere-server
index fcd3114..6754b23 100755
--- a/src/monkeysphere-server
+++ b/src/monkeysphere-server
@@ -493,7 +493,7 @@ EOF
 
 	show_server_key
 
-	echo "NOTE: User ID revoked, but revokation not published."
+	echo "NOTE: User ID revoked, but revocation not published."
 	echo "Run '$PGRM publish-key' to publish the revocation."
     else
 	failure "Problem revoking user ID."
-- 
2.25.1