Sun, 11 Aug 2013 22:32:16 +0200Merge bugfix #471 and #472 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Sun, 11 Aug 2013 22:32:16 +0200] rev 1293
Merge bugfix #471 and #472 to branch 1.3