Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
refresh job_selector on job deletion (#1461)
* refresh job_selector on job deletion resolves #1400 * be more precise --------- Co-authored-by: Fred Lefévère-Laoide <[email protected]>
- Loading branch information