Philipp von Weitershausen wrote: > I'll now be merging the restructuring branch. So, please refrain from > any checkins to the trunk until I'm done. Thanks, The merge is completed now. Philipp