Wed, 22 Dec 2010 12:01:05 +0100 Corrections on merge default tip
wakimd [Wed, 22 Dec 2010 12:01:05 +0100] rev 25
Corrections on merge
Thu, 16 Dec 2010 15:00:30 +0100 Merge with 1a061f24425462b0267eece1cdc970001580be24
ymh <ymh.work@gmail.com> [Thu, 16 Dec 2010 15:00:30 +0100] rev 24
Merge with 1a061f24425462b0267eece1cdc970001580be24
(0) -10 -2 tip