mirror of
https://github.com/jenkinsci/jenkins.git
synced 2026-11-14 04:22:16 +00:00
Missed this in previous commit - bad idea making even small changes late at night ;)
(cherry picked from commit 3daa6a97b0)
Missed this in previous commit - bad idea making even small changes late at night ;)
(cherry picked from commit 3daa6a97b0)