On Mon, Jul 23, 2012 at 03:41:19PM -0400, Eric Covener wrote: > > b) if it's not the desired behaviour, that's a lot more messy. > > I had assumed this was a bug in the checking but apparently never > brought it here correctly.
Ah ha! I hadn't checked the list archives, sorry - you did indeed post on this, and there's even a patch. Thanks Eric, I will take a further look now. Regards, Joe