]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-3.5' 82/34782/1
authorMatthias Sohn <matthias.sohn@sap.com>
Sun, 12 Oct 2014 21:42:55 +0000 (23:42 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Sun, 12 Oct 2014 21:45:45 +0000 (23:45 +0200)
* origin/stable-3.5:
  When marking commits as uninteresting don't care if the tree exists

Change-Id: I66559a72ed7284cb721cf929512af884c0db2d61
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>

Trivial merge