Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 11:28:17 +0200] rev 1270
Apply unify-sources.sh to the source tree
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 14:07:27 +0200] rev 1269
Merge bugfix #439
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 14:05:29 +0200] rev 1268
Merge bugfix #439 to branch 1.2
Alpar Juttner <alpar@cs.elte.hu> [Fri, 09 Aug 2013 14:01:24 +0200] rev 1267
Merge bugfix #439 to branch 1.1