severity 399384 minor thanks As Steve showed, the bug is really about the impossibility of mixing random versions. In my book, that is user error. I do not prevent it as maintainer so in that sense it is an open bug, but in my book at best of the nuisance or minor level.
Dirk -- Hell, there are no rules here - we're trying to accomplish something. -- Thomas A. Edison -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]