# HG changeset patch
# User HackBot
# Date 1459211702 0
# Node ID effc215180d547b2bb95d39c0c76989c4b309f50
# Parent  c16fcce4ed5c2f57b010378b1eb3159db01e3208
<oerjan> learn_append pun But beware of Muphry adding misspellings.

diff -r c16fcce4ed5c -r effc215180d5 wisdom/pun
--- a/wisdom/pun	Tue Mar 29 00:29:04 2016 +0000
+++ b/wisdom/pun	Tue Mar 29 00:35:02 2016 +0000
@@ -1,1 +1,1 @@
-Puns are fun. Ask shachaf about them.
+Puns are fun. Ask shachaf about them. But beware of Muphry adding misspellings.