On Tue, Aug 30, 2022 at 5:00 AM Kris Stern <[email protected]> wrote:
>
> Regarding the issue mentioned previously (
https://issues.jenkins.io/browse/JENKINS-69250), the PR for addressing it
has been opened and merged and can be accessed at
https://github.com/jenkinsci/jenkins/pull/7034.

No. jenkinsci/jenkins#7034 <https://github.com/jenkinsci/jenkins/pull/7034>
was a backport of jenkinsci/jenkins#7033
<https://github.com/jenkinsci/jenkins/pull/7033>. The PR for addressing
JENKINS-69250 <https://issues.jenkins.io/browse/JENKINS-69250> on the main
branch was jenkinsci/jenkins#7043
<https://github.com/jenkinsci/jenkins/pull/7043>.

-- 
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/CAFwNDjpy%3D%2BBisgmy3U0PQdx3%3DHM04NJ81PgrhibSR9vn7ty-7w%40mail.gmail.com.

Reply via email to