Branch: refs/heads/master
Home: https://github.com/jenkinsci/jenkins
Commit: b3342f845c23ab34d2689c2e82a85d5b49b4b434
https://github.com/jenkinsci/jenkins/commit/b3342f845c23ab34d2689c2e82a85d5b49b4b434
Author: Tim Jacomb <[email protected]>
Date: 2023-07-26 (Wed, 26 Jul 2023)
Changed paths:
M war/src/main/js/plugin-manager-ui.js
Log Message:
-----------
[JENKINS-71698] Only disable plugin manager button if none are selected
(#8293)
--
You received this message because you are subscribed to the Google Groups
"Jenkins Commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-commits/jenkinsci/jenkins/push/refs/heads/master/3306d5-b3342f%40github.com.
