On 5/25/20 11:59 PM, Jason Merrill wrote:
On 5/25/20 4:15 PM, Martin Liška wrote:
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?

Sure:


Thanks, I've just installed your patch and I'm starting testing of it.

Martin

Reply via email to