# HG changeset patch
# User HackBot
# Date 1436586447 0
# Node ID a062ac5f3fc0f1c6c653fbcefa7e80e724a3bcdb
# Parent  8964625d3dba5f4ade72aa0ac2f988282dc2baf2
<oerjan> addquote <Jafet> Some people, when confronted with a problem, think "I know, I\'ll use the Banach-Tarski theorem."

diff -r 8964625d3dba -r a062ac5f3fc0 quotes
--- a/quotes	Sat Jul 11 01:34:43 2015 +0000
+++ b/quotes	Sat Jul 11 03:47:27 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."