On Thu, Feb 9, 2023 at 4:54 PM Basil Crow <[email protected]> wrote: > > I would like to bring this proposal to a conclusion by March.
https://github.com/jenkinsci/jenkins/pull/7516 has been approved; if nobody objects by March 15, I'll assume lazy consensus and merge it. -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAFwNDjo2Yj%2Bv6mjv1fuHXpmZ5qwkMCWgcZh1qL7PFzEFB9Ps%2Bw%40mail.gmail.com.
