Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Missed in the changed interface from 6134708. Caused very poor performance. Thanks to @AskAlexSharov for raising the flag in #859 (comment).
- Loading branch information