On Tue, 2008-10-21 at 18:40 +0200, Tobias Burnus wrote: > > OK for trunk? > > > OK with the two changes. Committed with both changes, rev. 141276. Thanks a lot! Thomas