Merge pull request #8578 from yuwata/resolve-tool-cleanup
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Mon, 26 Mar 2018 12:54:30 +0000 (14:54 +0200)
committerGitHub <noreply@github.com>
Mon, 26 Mar 2018 12:54:30 +0000 (14:54 +0200)
commitea7a9e9e2acb3952b5131d34acbb81e60b56aa38
tree01aa162793bc834172b03c849927227047763149
parent1238250f1dca07b8fcef4d7ebe86891334819e9e
parent79b20ad8e28ded8b16489691a8587f2450d93eb5
Merge pull request #8578 from yuwata/resolve-tool-cleanup

resolve-tool: small cleanups