Thomas Lotze wrote: > So I'd like to merge what changes I made to the trunk and give up the > branch in a few days. I've done both now. The tlotze branch has also been removed from buildbot testing. -- Thomas