Thu, 10 Dec 2009 17:10:25 +0100Merge bugfix #330 to branch 1.1 1.1
Alpar Juttner <alpar@cs.elte.hu> [Thu, 10 Dec 2009 17:10:25 +0100] rev 709
Merge bugfix #330 to branch 1.1

Thu, 10 Dec 2009 17:05:35 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Thu, 10 Dec 2009 17:05:35 +0100] rev 708
Merge

Fri, 13 Nov 2009 12:33:33 +0100Bug fix in map_extender.h (#330)
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 13 Nov 2009 12:33:33 +0100] rev 707
Bug fix in map_extender.h (#330)