Tue, 06 Aug 2013 12:28:37 +0200Merge further fixes #470
Alpar Juttner <alpar@cs.elte.hu> [Tue, 06 Aug 2013 12:28:37 +0200] rev 1253
Merge further fixes #470

Tue, 06 Aug 2013 06:52:36 +0200Fix dummy doc comment (#459)
Alpar Juttner <alpar@cs.elte.hu> [Tue, 06 Aug 2013 06:52:36 +0200] rev 1252
Fix dummy doc comment (#459)