Changes

Summary

1. Fix repair-button not getting translated #1182 (details)

Commit b073a209f1741e701641f40191fbf368e9a226b6 by bernhard.bonigl Fix repair-button not getting translated #1182
	src/main/java/tconstruct/tools/ToolProxyClient.java (diff)