tree 5153f1a44a2ddedac789efffc1664788e31dcc7c
parent 9229e85ad1e99076bad08552e36b576a353c7b20
parent 6dd6a5dcceb2a238354fce17b129598e65f1f6ad
author David Pursehouse <dpursehouse@collab.net> 1573833602 -0800
committer David Pursehouse <dpursehouse@collab.net> 1573833602 -0800

Merge branch 'stable-2.16' into stable-3.0

* stable-2.16:
  Upgrade JGit to 5.1.12.201910011832-r
  Upgrade bazlets to latest stable-2.16 to build with 2.16.13 API

Change-Id: I23f927483668899d117ba0b4140559c4d46463db