Merge branch 'stable-3.1'
* stable-3.1:
Set version to 3.1.0-rc3
Remove robot comments without human reply from "Comment Threads" tab
Fix selected label style
Remove unused jsAPI from gr-diff-builder
Remove buttons (Reply, Ack, Quote, Done) for robot comments
Report tab change - mostly for checks plugin
Increase padding from 4px to 8px for commit message
Add keyup to some shortcuts to avoid multiple events for longpress
Move externs to types folder
Added a types.js file to support cross-module types
Upgrade JGit to latest master revision
Change-Id: Ic4af9229dd1e9e690cf326f84f918cc07e210acf
diff --git a/modules/jgit b/modules/jgit
index 078500e..6bae5a8 160000
--- a/modules/jgit
+++ b/modules/jgit
@@ -1 +1 @@
-Subproject commit 078500ef1c28bfd4a19cafe889f485d7861b7518
+Subproject commit 6bae5a88bc4583e00d1a47758956eae2b5d59e4c