Merge branch 'ticket/87' into develop

James Moger

2014-05-29 e6ba88ec330241395b10d2e487b33b77672857a3

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

@@ -391,7 +391,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);

                  }

               }