On Tue, Jan 10, 2023 at 8:37 PM Jim Meyering <j...@meyering.net> wrote: > FYI, I've just pushed this fix. > I noticed this bug when attempting to update gzip's copyright dates. > It has a few files with two copyright lines. > The old version of this script would update only the first one.
For the record, that fix adds coverage for lines with identical year lists. This script still does not work for gzip's case in which the year lists are different.
