Bug in timsort!?

[Mario Figueiredo]

On Wed, 25 Feb 2015 17:04:10 +0100, Peter Otten <__peter__ at web.de>
wrote:
>
>These guys found a bug that is subtler than what most of us have dealt with 
>in a widely used piece of code originally developed by one of the smarter 
>members of the python "community".
>
>I bow my head to them and say thank you.

And also presented a solution.

Thank you for a little of sanity and common sense in this discussion.
TYhe levcel of smugness by some of the posters surely can't be a
representation of the python community.