Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update DrainFilter.idx after calling DrainFilter.pred
Removes security issue where a panic! from DrainFilter.pred would leave DrainFilter.idx incremented and risking a double drop. Fixes: #90
- Loading branch information