Alpar Juttner <alpar@cs.elte.hu> [Sun, 11 Aug 2013 22:01:06 +0200] rev 1291
Merge bugfix #471
Alpar Juttner <alpar@cs.elte.hu> [Sun, 11 Aug 2013 21:56:21 +0200] rev 1290
Merge headmerge to the default branch
Alpar Juttner <alpar@cs.elte.hu> [Sun, 11 Aug 2013 17:30:17 +0200] rev 1289
Merge bugfix #471 to branch 1.2