On Sun, Nov 7, 2010 at 16:14, Stefan Weil wrote:> platfrom -> platformive merged into my tree now ... thanks-mike