On 2/24/2015 4:34 PM, Roy Smith wrote:
http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/
Tim Peters is aware of this and opened http://bugs.python.org/issue23515 -- Terry Jan Reedy -- https://mail.python.org/mailman/listinfo/python-list