Wed, 07 Oct 2015 18:56:56 +0200Merge bugfix #600 to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Wed, 07 Oct 2015 18:56:56 +0200] rev 1365
Merge bugfix #600 to branch 1.2