This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Overhauled the .remove() and .empty() methods to be much more efficie…
…nt. Fixes bug #4222.
- Loading branch information
Showing 1 changed file with 21 additions and 8 deletions.