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).