Merge "Merge branch 'stable-3.15'"
Gerrit web-based plugin manager.
To enable this plugin, please look at the configuration guide