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.