Sun, 11 Aug 2013 21:56:21 +0200Merge headmerge to the default branch
Alpar Juttner <alpar@cs.elte.hu> [Sun, 11 Aug 2013 21:56:21 +0200] rev 1290
Merge headmerge to the default branch