New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Moved filtering logic from `pick_process` to `get_processes` #1097

Merged

mfussenegger merged 1 commit into mfussenegger:master from NicholasMata:feature/filtering_processes

Dec 14, 2023

Contributor

NicholasMata commented Nov 19, 2023

This implements a feature request I recently made #1096. If you believe it makes sense then here is a PR which implements the proposed change.


          Moved filtering logic from pick_process to get_processes

dace5a0

mfussenegger merged commit e64ebf3 into mfussenegger:master

4 checks passed

Owner

mfussenegger commented Dec 14, 2023

Thanks

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet