# HG changeset patch
# User HackBot
# Date 1436586518 0
# Node ID 1514ed7b624050574e5dc7b7dd57a37ee865264d
# Parent  a062ac5f3fc0f1c6c653fbcefa7e80e724a3bcdb
<oerjan> revert

diff -r a062ac5f3fc0 -r 1514ed7b6240 quotes
--- a/quotes	Sat Jul 11 03:47:27 2015 +0000
+++ b/quotes	Sat Jul 11 03:48:38 2015 +0000
@@ -1244,4 +1244,3 @@
 <ais523> do we seriously not do quotes any more?
 <ais523> hppavilion1: there's not much point in `addquoting an `addquote unless the person who added it was somehow significant, or there's interesting context  <ais523> because you can tell it was added from the fact that it's there
 <ais523> (on another note, I love the way that the standard way to indicate that you get a reference is to make a different obscure reference to the same thing)
-<Jafet> Some people, when confronted with a problem, think "I know, I'll use the Banach-Tarski theorem."