Does git accept outside pull requests? I wouldn't mind committing the fix for this once it's been decided what the fix should be. (It might help my resume ;)
On Thu, May 25, 2017 at 6:33 PM, Junio C Hamano <[email protected]> wrote: > Jeff King <[email protected]> writes: > >> Anyway. All this has shown me is that it's probably pointless to do this >> timing at all on Linux. Somebody on Windows might get better results. >> >> But regardless, we need to do something. Correctness must trump >> optimizations, and the question is whether we can throw out the whole >> conditional, or if we should just restrict when it kicks in. > > Yes. I personally do not mind going with the simplest approach. > The optimization thing is relatively new and we were perfectly happy > without it before ;-). >
