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 -2 +2 +10 +30 +100 +300 tip