Jonathan Nieder wrote: > What information would you like?
Messages crossed. Sorry for the nonsense; I'm happy to see a proposed patch (and I should have just waited). -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
