mirror of
https://github.com/jenkinsci/jenkins.git
synced 2026-11-06 00:25:58 +00:00
[JENKINS-35493] Introduce a UserDetails cache
(cherry picked from commit 06e99bd942)
[JENKINS-35493] Introduce a UserDetails cache
(cherry picked from commit 06e99bd942)