Junio C Hamano wrote: > How about > > hint: ignoring an optional IEOT extension > > to make it clear that it is totally harmless? > > With that, we can add advise.unknownIndexExtension=false to turn all > of them off with a single switch. I like it. Expect a patch soon (tonight or tomorrow) that does that. We'll have to find some appropriate place in the documentation to explain what the message is about, still. Thanks, Jonathan
