Merge branch 'master' of https://github.com/gitblit/gitblit into enhancedLdap

mschaefers

2012-12-03 ba6ae959b8e21c714c69f66254e82837d45a3ed2

 src/com/gitblit/client/GitblitManagerLauncher.java

@@ -44,7 +44,7 @@
      DownloadListener downloadListener = new DownloadListener() {

         @Override

         public void downloading(String name) {

            updateSplash(splash, Translation.get("gb.downloading") + " " + name + "...");				
            updateSplash(splash, Translation.get("gb.downloading") + " " + name);				
         }

      };