Branch: refs/heads/master
Home: https://github.com/jenkinsci/pmd-plugin
Commit: 4dd7608969040798cf541e6ca0e3748c2c0e3237
https://github.com/jenkinsci/pmd-plugin/commit/4dd7608969040798cf541e6ca0e3748c2c0e3237
Author: Ulli Hafner <[email protected]>
Date: 2018-10-31 (Wed, 31 Oct 2018)
Changed paths:
M pom.xml
Log Message:
-----------
Version upgrades to new beta.
**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 [email protected].
For more options, visit https://groups.google.com/d/optout.
