Merge branch 'ticket/87' into develop

James Moger

2014-05-29 e6ba88ec330241395b10d2e487b33b77672857a3

 src/main/java/com/gitblit/wicket/pages/EditTicketPage.java

@@ -171,7 +171,7 @@
         } else {

            // authorization is by NAMED users (users with PUSH permission can be set responsible)

            for (RegistrantAccessPermission rp : app().repositories().getUserAccessPermissions(getRepositoryModel())) {

               if (rp.permission.atLeast(AccessPermission.PUSH) && !rp.isTeam()) {

               if (rp.permission.atLeast(AccessPermission.PUSH)) {

                  userlist.add(rp.registrant);

               }

            }