Fri, 15 Oct 2010 00:36:45 +0200 Christian Ebert Merge with default stable
Thu, 14 Oct 2010 22:53:17 +0200 Christian Ebert Only use expensive fctx.cmp when needed
Wed, 13 Oct 2010 09:21:19 +0100 Christian Ebert Merge with stable
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip