Google Git
Sign in
gerrit/gerrit.git/043b1019ce500bf077c678b9140a08f4a9bc1fc1
commit
043b1019ce500bf077c678b9140a08f4a9bc1fc1
[log] [tgz]
author
Luca Milanesio <luca.milanesio@gmail.com>
Thu Jan 10 21:13:22 2019 +0000
committer
Luca Milanesio <luca.milanesio@gmail.com>
Thu Jan 10 21:19:08 2019 +0000
tree
e95b25065da27d96f9bd3cbee3d1357898d9c476
parent
55cf6e690f178b839a348ab7e61ac400acb78079 [diff]
parent
d400d56a13754e4d1ee810e35acf8c7669b2ff84 [diff]
Merge branch 'stable-2.10' into stable-2.11

* stable-2.10:
  Upgrade JGit to 4.5.5.201812240535-r

Change-Id: Ie7d0263ced0db87079bb4ed061febc4b866a6e22
tree: e95b25065da27d96f9bd3cbee3d1357898d9c476
  1. .settings/
  2. bucklets/
  3. contrib/
  4. Documentation/
  5. gerrit-acceptance-tests/
  6. gerrit-antlr/
  7. gerrit-cache-h2/
  8. gerrit-common/
  9. gerrit-extension-api/
  10. gerrit-gwtdebug/
  11. gerrit-gwtexpui/
  12. gerrit-gwtui/
  13. gerrit-gwtui-common/
  14. gerrit-httpd/
  15. gerrit-launcher/
  16. gerrit-lucene/
  17. gerrit-main/
  18. gerrit-oauth/
  19. gerrit-openid/
  20. gerrit-patch-commonsnet/
  21. gerrit-patch-jgit/
  22. gerrit-pgm/
  23. gerrit-plugin-api/
  24. gerrit-plugin-archetype/
  25. gerrit-plugin-gwt-archetype/
  26. gerrit-plugin-gwtui/
  27. gerrit-plugin-js-archetype/
  28. gerrit-prettify/
  29. gerrit-reviewdb/
  30. gerrit-server/
  31. gerrit-solr/
  32. gerrit-sshd/
  33. gerrit-util-cli/
  34. gerrit-util-http/
  35. gerrit-util-ssl/
  36. gerrit-war/
  37. lib/
  38. plugins/
  39. ReleaseNotes/
  40. tools/
  41. website/
  42. .buckconfig
  43. .buckversion
  44. .gitignore
  45. .gitmodules
  46. .mailmap
  47. .pydevproject
  48. .watchmanconfig
  49. BUCK
  50. COPYING
  51. INSTALL
  52. SUBMITTING_PATCHES
  53. VERSION