diff options
author | 2017-05-05 14:07:50 -0700 | |
---|---|---|
committer | 2017-05-05 14:07:50 -0700 | |
commit | e21d2c1cd8c155a450fcb4c3d8f66dc37f560528 (patch) | |
tree | 216e049709de5e770de0bd67f14ef00dcb31278e /tools/run_tests/python_utils | |
parent | ddc8a8243dfd3d2c6c5c513af0882d9acfb778a2 (diff) |
Bump version
Diffstat (limited to 'tools/run_tests/python_utils')
-rwxr-xr-x | tools/run_tests/python_utils/port_server.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/run_tests/python_utils/port_server.py b/tools/run_tests/python_utils/port_server.py index 10e9cf4c1a..9860b92808 100755 --- a/tools/run_tests/python_utils/port_server.py +++ b/tools/run_tests/python_utils/port_server.py @@ -46,7 +46,7 @@ import platform # increment this number whenever making a change to ensure that # the changes are picked up by running CI servers # note that all changes must be backwards compatible -_MY_VERSION = 19 +_MY_VERSION = 20 if len(sys.argv) == 2 and sys.argv[1] == 'dump_version': |