On 2010-09-06 16:08 , Titus von Boxberg wrote: > Would a commiter please commit the diffs from these tickets? Committed #26198 in r71265. Committed #26139 in r71266. > And - if not too new - also from #26377 Committed #26377 in r71267. Rainer