Thu, 02 Apr 2015 13:39:35 +0200Merge fixes #502, #503, #519, #520, #536 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Thu, 02 Apr 2015 13:39:35 +0200] rev 1140
Merge fixes #502, #503, #519, #520, #536 to branch 1.3