K 10 svn:author V 5 luigi K 8 svn:date V 27 2013-05-10T08:46:10.633480Z K 7 svn:log V 77 another minor bugfix in the memory allocator, this time in the free routine. END