fixed name of the original tool#3

arne-cl wants to merge 1 commit into

jac2130:masterjac2130/semaphore-python:masterfrom

arne-cl:patch-1arne-cl/semaphore-python:patch-1Copy head branch name to clipboard