Branch: refs/heads/master
Home: https://github.com/jenkinsci/jenkins
Commit: 7b22268b55cc2c5789a02141606bb35f4dc18570
https://github.com/jenkinsci/jenkins/commit/7b22268b55cc2c5789a02141606bb35f4dc18570
Author: Baptiste Mathus <bat...@batmat.net>
Date: 2018-11-26 (Mon, 26 Nov 2018)
Changed paths:
M core/src/main/java/jenkins/model/Jenkins.java
Log Message:
-----------
Document that Jenkins.getPluginManager() is not nullable
Commit: 055b913a75747543d9ac9b90a5e185bcb4d3b35b
https://github.com/jenkinsci/jenkins/commit/055b913a75747543d9ac9b90a5e185bcb4d3b35b
Author: Oleg Nenashev <o.v.nenas...@gmail.com>
Date: 2018-11-30 (Fri, 30 Nov 2018)
Changed paths:
M core/src/main/java/jenkins/model/Jenkins.java
Log Message:
-----------
Merge pull request #3774 from batmat/pluginManager-Nonnull
Document that Jenkins.getPluginManager() is not nullable
Compare:
https://github.com/jenkinsci/jenkins/compare/1639560f2b64...055b913a7574
**NOTE:** This service has been marked for deprecation:
https://developer.github.com/changes/2018-04-25-github-services-deprecation/
Functionality will be removed from GitHub.com on January 31st, 2019.
--
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.
For more options, visit https://groups.google.com/d/optout.
