Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
bugfix: new filter shouldn't be enlarged if there is already an enlar…
…ged filter (#93) * new filter shouldn't be enlarged if there is already an enlarged filter, fix #92 * remove trailing spaces
- Loading branch information