mirror of
https://github.com/jenkinsci/jenkins.git
synced 2026-10-27 03:25:21 +00:00
Merge branch 'add-icons-to-command-palette' of github.com:janfaracik/jenkins into add-icons-to-command-palette
This commit is contained in: