Glenn Morris wrote:
I assumed any utility to keeping the time stamps
update was solely for edits in gnulib itself.

I assumed otherwise, in that if a change was made downstream by hand they'd want the timestamps to be updated.

By the way, I would rather remove these timestamps as they are causing maintenance issues. They may have been worthwhile in the 1980s before version-control was widespread, but nowadays they are more trouble than they're worth, in my experience.

Reply via email to