Build: #86 was successful Manual run by Guus der Kinderen
Code commits
github repo
-
Guus der Kinderen 3c747b973cbbda914ce1e26529495b688503501d
WEB-60: Use file name to group
The human-readable name of a plugin can sometimes change over time. To group versions of various plugins
'per plugin', it's better to sort on the file name.- src/main/java/org/jivesoftware/site/PluginManager.java (version 3c747b973cbbda914ce1e26529495b688503501d)