fix for #967 filestore menu for all users

Paul Martin

2015-12-07 697905cbf3b6fc1d8f22322a4f403b4abe2f0c0a

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

@@ -143,7 +143,7 @@
            }



            if (success && app().tickets().updateMilestone(getRepositoryModel(), tm, createdBy)) {

               redirect(TicketsPage.class, WicketUtils.newOpenTicketsParameter(repositoryName));

               redirectTo(TicketsPage.class, WicketUtils.newOpenTicketsParameter(repositoryName));

            } else {

               // TODO error

            }