The following commit made the same changes to the trunk. I have not reverted the branch because it is dead anyway. If I should revert it, please send an e-mail.
Thomas
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
