Hi Basil, Thanks for the correction!
Best, Kris On Tuesday, August 30, 2022 at 10:51:34 PM UTC+8 [email protected] wrote: > 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/b94f287a-dcc0-4135-bb27-b025ca0b3973n%40googlegroups.com.
