mirror of
https://github.com/jenkinsci/jenkins.git
synced 2026-11-14 04:22:16 +00:00
- Also tidy up some holes in locking strategy that can cause builds to be scheduled on executors that are about to be interrupted or nodes in the process of being removed