Thanks! I think a push to rel_3_7 wouldn't hurt; the performance fix is close enough to a security bugfix.
Thanks! I think a push to rel_3_7 wouldn't hurt; the performance fix is close enough to a security bugfix.