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]
