Sun, 11 Aug 2013 15:29:28 +0200Merge >=1.2 branch heads
Alpar Juttner <alpar@cs.elte.hu> [Sun, 11 Aug 2013 15:29:28 +0200] rev 1096
Merge >=1.2 branch heads

Sun, 11 Aug 2013 15:28:12 +0200Merge >=1.2 branch heads
Alpar Juttner <alpar@cs.elte.hu> [Sun, 11 Aug 2013 15:28:12 +0200] rev 1095
Merge >=1.2 branch heads

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 1094
Update NEWS file

Fri, 09 Aug 2013 11:29:40 +0200Remove long lines (from all but one file)
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 11:29:40 +0200] rev 1093
Remove long lines (from all but one file)

Fri, 09 Aug 2013 11:28:17 +0200Apply unify-sources.sh to the source tree
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 11:28:17 +0200] rev 1092
Apply unify-sources.sh to the source tree

Fri, 09 Aug 2013 14:07:27 +0200Merge bugfix #439
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 14:07:27 +0200] rev 1091
Merge bugfix #439