diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2017-01-18 10:48:43 +0100 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2017-01-18 10:48:52 +0100 |
| commit | b0b57a17306a7e963a4fe463f84e2b150a00a859 (patch) | |
| tree | 809d4c3942e8042045767ef40e37ccc0e7701bc8 /contrib/devtools/github-merge.py | |
| parent | 6696b4635ceb9b47aaa63244bff9032fa7b08354 (diff) | |
| parent | 95bab821b3af268d23e9cf5f9da3dd7f1e396949 (diff) | |
| download | bitcoin-b0b57a17306a7e963a4fe463f84e2b150a00a859.tar.xz | |
Merge #9508: Remove unused Python imports
95bab82 Remove unused Python imports (practicalswift)
Diffstat (limited to 'contrib/devtools/github-merge.py')
| -rwxr-xr-x | contrib/devtools/github-merge.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/devtools/github-merge.py b/contrib/devtools/github-merge.py index aae966a8f6..0cee0921b1 100755 --- a/contrib/devtools/github-merge.py +++ b/contrib/devtools/github-merge.py @@ -15,7 +15,7 @@ # In case of a clean merge that is accepted by the user, the local branch with # name $BRANCH is overwritten with the merged result, and optionally pushed. from __future__ import division,print_function,unicode_literals -import os,sys +import os from sys import stdin,stdout,stderr import argparse import subprocess |