Thu, 17 Mar 2011 09:16:38 +0100Merge bugfix in #417 to branch 1.2 1.2
Alpar Juttner <alpar@cs.elte.hu> [Thu, 17 Mar 2011 09:16:38 +0100] rev 1043
Merge bugfix in #417 to branch 1.2

Thu, 17 Mar 2011 09:02:51 +0100Merge #417
Alpar Juttner <alpar@cs.elte.hu> [Thu, 17 Mar 2011 09:02:51 +0100] rev 1042
Merge #417