Tue, 20 Dec 2011 19:25:40 +0100 Alpar Juttner Merge head merging
Tue, 20 Dec 2011 19:10:50 +0100 Alpar Juttner Merge head merging to branch 1.2 1.2
Tue, 20 Dec 2011 18:59:35 +0100 Alpar Juttner Merge head merging to branch 1.1 1.1
Tue, 20 Dec 2011 18:15:38 +0100 Alpar Juttner Merge