Since you're here, do you plan to fix stable sort as recently discussed? -- Andrei
While the fix seems straightforward, I haven't taken the time to study the problem. I plan to do so and if I feel confident that I can fix the issue and provide a test case, then I'll make a pull request. That's the best I can say for now.
