----- Original Message ----- From: "Robert Collins" <[EMAIL PROTECTED]> To: "John Marshall" <[EMAIL PROTECTED]> Cc: <[EMAIL PROTECTED]> Sent: Thursday, June 27, 2002 8:25 PM > > One way to fix that would be to change #3 (as defined in my previous > > posting) so that adding an URL that happens to have the same key as an > > existing one *does* overwrite it. I think [1] the following surprisingly > > simple patch achieves this:
Committed (but still untested :}). Rob