Mon, 08 Oct 2012 12:38:52 +0200 Merge with 20acf3b3b2f00d45d1e423b92dc31874fd90afbf
grandjoncl [Mon, 08 Oct 2012 12:38:52 +0200] rev 834
Merge with 20acf3b3b2f00d45d1e423b92dc31874fd90afbf
(0) -300 -100 -30 -10 -1 +1 +10 +30 +100 +300 tip