On 01/02/2010 00:28, Mark Mitchell wrote: > > We're talking about whether to issue a pedwarn or a warning, not whether > to warn at all. We certainly want to warn. Beg pardon, I must have misread the thread. cheers, DaveK