Fri, 09 Aug 2013 19:01:05 +0200Merge NEWS file update to branch 1.3 1.3 r1.3
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 19:01:05 +0200] rev 1282
Merge NEWS file update to branch 1.3

Fri, 09 Aug 2013 18:58:46 +0200Update NEWS file
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 18:58:46 +0200] rev 1281
Update NEWS file