Thu, 07 Jul 2011 12:54:12 +0100 Christian Ebert Merge with default stable
Sun, 03 Jul 2011 12:58:03 +0200 Christian Ebert Reuse already present working contexts for match
Fri, 01 Jul 2011 14:52:14 +0200 Christian Ebert Merge with stable
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip