On Mon, 15 Dec 2003, Peter Reilly <[EMAIL PROTECTED]> wrote: > I think we should change the priority in this case to warning.
+1 > This is of course not backward compatible. So we have to document it. Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]