Alpar Juttner <alpar@cs.elte.hu> [Mon, 24 Oct 2011 21:42:22 +0200] rev 1091
Merge #428 and #429
Alpar Juttner <alpar@cs.elte.hu> [Mon, 24 Oct 2011 21:40:31 +0200] rev 1090
Merge #428 and #429 to branch 1.2
Alpar Juttner <alpar@cs.elte.hu> [Mon, 24 Oct 2011 21:39:34 +0200] rev 1089
Merge #428 and #429 to branch 1.1
Peter Kovacs <kpeter@inf.elte.hu> [Sun, 23 Oct 2011 22:42:14 +0200] rev 1088
Fix windows-specific compilation error (#429)