James Moger
2012-10-31 40b07bca7d02438cd0d660f3b1713ffa86f6df76
src/com/gitblit/client/RegistrantPermissionsPanel.java
@@ -133,7 +133,7 @@
         permissions = new ArrayList<RegistrantAccessPermission>();
      }
      for (RegistrantAccessPermission rp : permissions) {
         if (rp.isEditable) {
         if (rp.mutable) {
            // only remove editable duplicates
            // this allows for specifying an explicit permission
            filtered.remove(rp.registrant);