Thu, 22 Jan 2015 10:30:36 +0100 rougeronj Add 1 hour to annot timsetamp to catch up the current time
Thu, 22 Jan 2015 10:01:59 +0100 rougeronj Minor time correction
Thu, 22 Jan 2015 09:29:49 +0100 rougeronj Merge with e4f0c105090d38f4b60699716dd20166e38e40da
(0) -100 -30 -10 -3 +3 +10 +30 tip