Files
gerrit/gerrit-server/src/main/java/com/google/gerrit/server/git
David Pursehouse 2173cb4173 Merge branch 'stable-2.13'
* stable-2.13:
  Do not append a message on push for already merged changes

Change-Id: Ie8fc2b7d9e4b6934baadff7e20a441c002f22004
2017-03-15 15:37:51 +09:00
..
2017-03-15 15:37:51 +09:00