On 5/25/20 10:08 PM, Jason Merrill wrote:
Like so:

I like the patch, thanks!

The last question I have: Do we want to make installation of the hook
optional in gcc-git-customization.sh?

Martin

Reply via email to