Fixed cache bug wrt create/edit repository with existing repo name (issue-172)

James Moger

2012-12-21 6f8ad9b1068e57062a5f79da83c10ee715d412ef

 src/com/gitblit/utils/PatchFormatter.java

@@ -115,6 +115,10 @@
      return patch.toString();

   }



   /**

    * Class that represents the number of insertions and deletions from a

    * chunk.

    */

   private static class PatchTouple {

      int insertions;

      int deletions;