mirror of
https://github.com/jenkinsci/jenkins.git
synced 2026-11-14 20:42:21 +00:00
[JENKINS-56243] Ensure user seed saved to session
(cherry picked from commit a0095dc1ee)
[JENKINS-56243] Ensure user seed saved to session
(cherry picked from commit a0095dc1ee)