tools: refresh patches for tools
This page took 0.053445 seconds and 3 git commands to generate.