Tue, 28 Apr 2015 18:13:42 +0200Merge bugfix #595
Alpar Juttner <alpar@cs.elte.hu> [Tue, 28 Apr 2015 18:13:42 +0200] rev 1343
Merge bugfix #595

Tue, 28 Apr 2015 18:12:39 +0200Merge bugfix #595 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Tue, 28 Apr 2015 18:12:39 +0200] rev 1342
Merge bugfix #595 to branch 1.3