Google Git
Sign in
gerrit/gerrit/ec3ba0cc220017d289dfd5e968dbe5d94fc13d34
commit
ec3ba0cc220017d289dfd5e968dbe5d94fc13d34
[log]
author
Luca Milanesio <luca.milanesio@gmail.com>
Fri Jan 11 00:46:53 2019 +0000
committer
Luca Milanesio <luca.milanesio@gmail.com>
Fri Jan 11 00:46:53 2019 +0000
tree
7a39fffc5ebf7ac7be96ed81cfd2ecf8ad0c8607
parent
043b1019ce500bf077c678b9140a08f4a9bc1fc1 [diff]
Set version to 2.11.12

Change-Id: Idcfb17a9e438519c8acd466011c303a0e7334a3c
8 files changed
tree: 7a39fffc5ebf7ac7be96ed81cfd2ecf8ad0c8607
  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