[Bug-gnulib] Re: regex.m4 encoding problem; '# serial'

[Jim Meyering]

Paul Eggert <address@hidden> wrote:
...
> While we're on the subject of serial number, would anyone mind if I
> got rid of header comments like 'serial 19'?  I seem to recall there
> was some sentiment for getting rid of the serial numbers now that
> everything's CVSed, but don't recall the resolution of that.

I think there's some small value, but admit it's a pain to deal with those.
I wouldn't object to removing them.