Use print(...) instead of undefined printf(...)
commit51cb6b8221560e5e62894b566c9580dbbd1c65a4
authorpracticalswift <practicalswift@users.noreply.github.com>
Sun, 9 Jul 2017 21:34:10 +0000 (9 23:34 +0200)
committerpracticalswift <practicalswift@users.noreply.github.com>
Mon, 28 Aug 2017 13:18:14 +0000 (28 15:18 +0200)
tree605e16dd17b3d5a4c231381ada042f45328d20f8
parent25cd520fc429c464846b0f986104db45b3bfaebb
Use print(...) instead of undefined printf(...)
contrib/devtools/github-merge.py