Mon, 03 Dec 2012 11:27:35 +0100 Merge with 0b8497f071d10d521b4a136368f2c65fab05aed5
grandjoncl [Mon, 03 Dec 2012 11:27:35 +0100] rev 1005
Merge with 0b8497f071d10d521b4a136368f2c65fab05aed5
Mon, 03 Dec 2012 11:20:29 +0100 Merge with f0948f50816be925555b82b377d17c6273dacc97
grandjoncl [Mon, 03 Dec 2012 11:20:29 +0100] rev 1004
Merge with f0948f50816be925555b82b377d17c6273dacc97
(0) -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 tip