diff options
author | 2017-06-07 14:56:06 -0400 | |
---|---|---|
committer | 2017-06-07 14:56:06 -0400 | |
commit | 0cd689202d88c5e37481fc5e05db6417f62f6d40 (patch) | |
tree | 834896b59c7058abbe1d010926dbc643bfd3f1ec /tools/run_tests/python_utils/comment_on_pr.py | |
parent | 28bdde34069889c73ee8cad1c3bcb782877e215b (diff) |
Remove extraneous semicolons.
Fixes compilation if building with -Wextra-semi.
Diffstat (limited to 'tools/run_tests/python_utils/comment_on_pr.py')
0 files changed, 0 insertions, 0 deletions