# HG changeset patch
# User HackBot
# Date 1436588466 0
# Node ID 1762dbe10ae11344126c28954e4d337069aedfab
# Parent  1514ed7b624050574e5dc7b7dd57a37ee865264d
<oerjan> revert

diff -r 1514ed7b6240 -r 1762dbe10ae1 quotes
--- a/quotes	Sat Jul 11 03:48:38 2015 +0000
+++ b/quotes	Sat Jul 11 04:21:06 2015 +0000
@@ -1244,3 +1244,4 @@
 <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."