Closed karlp closed 11 years ago
The end of the patch chain is clean. Git has gone nuts with the history somewhere, as you can see there's multiple copies of the same commit, without it ever being removed. I could spend a day wrestling git to turn this into three or four single commits to have fun with rebase and stunningly concise history, but I'm realllllly not very interested in wrestling git just for the sake of the history. You're also welcome to just compare master HEAD with your master HEAD, and apply it yourself.
There are many useful things in this pull request but too hard for me to dig in and clean each individual patch. I don't want to increase memory consumption (library and RAM) so I only intend to merge the most useful bits only.
Fixes/tweaks/changes included:
Reasons for being so slow to submit this: had to remove some timings specific to an internal part being used here :)