Mon, 07 Jul 2014 16:32:01 +0200Update NEWS file 1.3 r1.3.1
Alpar Juttner <alpar@cs.elte.hu> [Mon, 07 Jul 2014 16:32:01 +0200] rev 1132
Update NEWS file

Mon, 07 Jul 2014 15:58:07 +0200Merge bugfix #474 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Mon, 07 Jul 2014 15:58:07 +0200] rev 1131
Merge bugfix #474 to branch 1.3

Mon, 07 Jul 2014 15:40:12 +0200Merge bugfix #474
Alpar Juttner <alpar@cs.elte.hu> [Mon, 07 Jul 2014 15:40:12 +0200] rev 1130
Merge bugfix #474