> > I have not reverted the branch because it is dead anyway. If I should > > revert it, please send an e-mail. > > I'd rather suggest to remove the branch altogether
done. Thomas --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
