Sun, 11 Aug 2013 22:01:06 +0200Merge bugfix #471
Alpar Juttner <alpar@cs.elte.hu> [Sun, 11 Aug 2013 22:01:06 +0200] rev 1099
Merge bugfix #471

Sun, 11 Aug 2013 21:56:21 +0200Merge headmerge to the default branch
Alpar Juttner <alpar@cs.elte.hu> [Sun, 11 Aug 2013 21:56:21 +0200] rev 1098
Merge headmerge to the default branch