Re: Can we have gnulib-tool.py emit the same copyright header?

bug-gnulib

From:	Bruno Haible
Subject:	Re: Can we have gnulib-tool.py emit the same copyright header?
Date:	Thu, 29 Feb 2024 00:34:50 +0100

Collin Funk wrote:
> Attached it with the typo fixed.

Thanks! Applied.

Bruno

Current Thread

[Next in Thread]

Can we have gnulib-tool.py emit the same copyright header?, Collin Funk, 2024/02/27
- Re: Can we have gnulib-tool.py emit the same copyright header?, Bruno Haible, 2024/02/27
  - Re: Can we have gnulib-tool.py emit the same copyright header?, Collin Funk, 2024/02/27
    - Re: Can we have gnulib-tool.py emit the same copyright header?, Bruno Haible, 2024/02/27
    - Re: Can we have gnulib-tool.py emit the same copyright header?, Collin Funk, 2024/02/27
    - Re: Can we have gnulib-tool.py emit the same copyright header?, Collin Funk, 2024/02/28
    - Re: Can we have gnulib-tool.py emit the same copyright header?, Bruno Haible, 2024/02/28
    - Re: Can we have gnulib-tool.py emit the same copyright header?, Collin Funk, 2024/02/28
    - Re: Can we have gnulib-tool.py emit the same copyright header?, Bruno Haible, 2024/02/28
    - Re: Can we have gnulib-tool.py emit the same copyright header?, Collin Funk, 2024/02/28
    - Re: Can we have gnulib-tool.py emit the same copyright header?, Bruno Haible <=