On 1/6/21 10:53 AM, Martin Liška wrote:
I'll debug that with Jakub.
https://github.com/AdaCore/git-hooks/issues/18
- git commit hook does not record my patches t... Uros Bizjak via Gcc-patches
- Re: git commit hook does not record my ... Jakub Jelinek via Gcc-patches
- Re: git commit hook does not record my ... Martin Liška
- Re: git commit hook does not record... Martin Liška
