Hey: I'm about to commit a fix to this, which keeps the existing spelling with @Deprecated and adds the new spelling.
I'll wait until tomorrow AM my time in case any of your Europeans really hate the idea. --benson --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
