From 95bab821b3af268d23e9cf5f9da3dd7f1e396949 Mon Sep 17 00:00:00 2001 From: practicalswift Date: Tue, 10 Jan 2017 23:30:14 +0100 Subject: Remove unused Python imports --- contrib/devtools/github-merge.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'contrib/devtools/github-merge.py') 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 -- cgit v1.2.3