Peter Kovacs <kpeter@inf.elte.hu> [Sun, 24 May 2015 17:29:26 +0200] rev 1366
Minor doc fixes (#597)
Alpar Juttner <alpar@cs.elte.hu> [Wed, 07 Oct 2015 18:56:56 +0200] rev 1365
Merge bugfix #600 to branch 1.2
Alpar Juttner <alpar@cs.elte.hu> [Wed, 07 Oct 2015 18:54:57 +0200] rev 1364
Merge bugfix #480 to branch 1.2
Alpar Juttner <alpar@cs.elte.hu> [Thu, 08 Oct 2015 10:03:29 +0200] rev 1363
Merge bugfix #600 to branch 1.3