Merged #205 "Update to JGit 3.5.1"

James Moger

2014-10-14 e10ac6e91b1062c74b800df4aa3f8fbcf7e18243

 src/main/java/com/gitblit/servlet/RawServlet.java

@@ -172,7 +172,7 @@
         } else {
            repository = path.substring(0, slash);
         }
         offset += ( slash + 1 );
         offset = ( slash + 1 );
         r = repositoryManager.getRepository(repository, false);
         if (repository.equals(path)) {
            // either only repository in url or no repository found