tree 5cbca210b123764ce1aa582a96d1d3d9fab9dae8
parent 0429c219727e9fda1e0c2740260f65a922453d42
author Patrick Hiesel <hiesel@google.com> 1505286220 +0200
committer Patrick Hiesel <hiesel@google.com> 1505286220 +0200

Make CHANGE_ID_COUNTER final

Upper case constants should be static and final. This commit makes
CHANGE_ID_COUNTER in PushOneCommit final.

Change-Id: I21bc93c6bb90917f33a37e6c4b58105ba0f4f000