These were helpful, but it's better to attach patches to Bugzilla tickets, since patches rarely survive passing through mail clients any more.
I did make the changes indicated, with the exception of some of the indentation changes. Since the changes are peer reviewed, potentially by hundreds of people, we try to minimize unecessary change. I do agree we need to fix such things, but we should try to do that either while we are fixing something else that would affect that line, or in a separate commit that does nothing but make formatting changes, without changing any of the content whatsoever. Thanks, again, Christian. -Ted. --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]