Branch: refs/heads/master
Home: https://github.com/jenkinsci/jenkins
Commit: b9d507cbcf8e946f8da2f3df3f40602bb539eab0
https://github.com/jenkinsci/jenkins/commit/b9d507cbcf8e946f8da2f3df3f40602bb539eab0
Author: Jesse Glick <jgl...@cloudbees.com>
Date: 2019-07-11 (Thu, 11 Jul 2019)
Changed paths:
M core/src/main/java/hudson/PluginManager.java
Log Message:
-----------
Also skip detached plugin installation if a *.[jh]pl file exists. (#4100)
--
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 jenkinsci-commits+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-commits/jenkinsci/jenkins/push/refs/heads/master/f76ee6-b9d507%40github.com.
For more options, visit https://groups.google.com/d/optout.
