Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
vm-monitor: Replace filter_map with filter
I think there's a clippy lint for this? Not sure if we're not using that, or something. In any case, I was confused reading this code previously, and I think this change should make what's going on a bit clearer (because `high` wasn't changing anyways!).
- Loading branch information