Update tools.py#738

chinmay-fetch wants to merge 1 commit into

fetchai:mainfetchai/uAgents:mainfrom

chinmay-fetch:patch-2chinmay-fetch/uAgents:patch-2Copy head branch name to clipboard