Hello, Just FUI, https://github.com/jenkinsci/jenkins/pull/916 has been merged into the main branch without external review and modification of the Jenkins change-list. I suppose that PR is OK, but change-list should be modified.
Best regards, Oleg Nenashev -- 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 jenkinsci-dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.