diff options
| author | David Pursehouse | 2018-06-23 04:56:50 +0000 |
|---|---|---|
| committer | David Pursehouse | 2018-06-23 04:58:22 +0000 |
| commit | a7ea275eaf5b84a8715715b99b22f13e8cd53384 (patch) | |
| tree | ba62db3974ed6c399b798aeae47cad51070132b7 | |
| parent | ff15df05c3a84b7af7f098550fd4504d7fc2a6d3 (diff) | |
| parent | e4bb6441df5bf1e99d04ef08c65c3846085cfc56 (diff) | |
| download | jgit-a7ea275eaf5b84a8715715b99b22f13e8cd53384.tar.gz jgit-a7ea275eaf5b84a8715715b99b22f13e8cd53384.tar.xz jgit-a7ea275eaf5b84a8715715b99b22f13e8cd53384.zip | |
Merge branch 'stable-4.11' into stable-5.0
* stable-4.11:
Empty merge because of previous merge from stable-4.9 into
stable-5.0 and commits subsequently merged into stable-4.10
and stable-4.11.
Change-Id: I69b8d3e96173ef58b77186dfe462148075954ce4
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
0 files changed, 0 insertions, 0 deletions