Merged #128 "Move apt folder from 'dagger' to 'gen'"

James Moger

2014-07-03 d19549897c0c373522e29fdcf0701edfd4956ae2

 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);

               }

            }