Tue, 26 May 2015 16:54:15 +0200Merge bugfix #598 to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Tue, 26 May 2015 16:54:15 +0200] rev 1360
Merge bugfix #598 to branch 1.2

Fri, 22 May 2015 17:53:08 +0200Merge bugfix #598
Alpar Juttner <alpar@cs.elte.hu> [Fri, 22 May 2015 17:53:08 +0200] rev 1359
Merge bugfix #598

Fri, 22 May 2015 17:48:24 +0200Merge bugfix #598 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Fri, 22 May 2015 17:48:24 +0200] rev 1358
Merge bugfix #598 to branch 1.3