Paul Eggert wrote: > I've never liked those timestamps, and would like to see them go away.
Fine with me: all of these files are in modules and therefore regularly update through gnulib-tool. Except for 'check-module', which is non-functional anyway for years (since the introduction of conditional module dependencies); feel free to do with 'check-module' as you like. Bruno
