maintenance release containing the following bug fixes:
88b25a5 - 2014-10-10, Christian Halstrick : When marking commits as uninteresting don't care if the tree exists (Bug: 445744)
668acc6 - 2014-10-07, Matthias Sohn : Only hide gitdir if the repository isn't bare (reported on jgit-dev)