Merged #150 "Edit repo drops missing owners from owners list"

James Moger

2014-09-04 3a916413835a92706394ec55f177eeb23f709d89

 src/main/java/com/gitblit/models/PluginRegistry.java

@@ -126,7 +126,7 @@
         Version ir = Version.createVersion(installedRelease);

         Version cr = Version.ZERO;

         PluginRelease curr = getCurrentRelease(system);

         if (cr != null) {

         if (curr != null) {

            cr = Version.createVersion(curr.version);

         }

         switch (ir.compareTo(cr)) {