Bruno Haible wrote:
However, for files that are only ever copied through gnulib-tool's module system, I would not say that the time stamp is "really needed".
I've never liked those timestamps, and would like to see them go away. I often try to avoid updating them even when I edit the files with Emacs.