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
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