Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Avoid erase_regions_ty queries if there are no regions to erase
It's overall faster to perform this extra check than to perform the query, even if the result is already in the query cache.
- Loading branch information