On 11/10/2013 05:42 AM, Alexander Monakov wrote: > Ping. A week ago a few people who looked at the older version of this > patch posted on IRC didn't point out obvious flaws. Can this get a > review please? Looks good to me. Pushed, thanks!