Bug in timsort!?

[Chris Angelico]

On Wed, Feb 25, 2015 at 8:10 PM, Paddy <paddy3118 at gmail.com> wrote:
> If we are given a proven fix *with little downside* then if we are to touch the source then we should MAKE THE FIX.

(emphasis mine)

That's really the question, though. I'm in no position to evaluate the
patch and ascertain whether the fix does indeed have little or no
downside. But as the tracker issue proves, a greater mind than mine
has decided that it's to be applied, which means that, yes, it's worth
doing.

ChrisA