On 2/24/25 11:10, Bruno Haible via Gnulib discussion list wrote:
- If F is under version control and not modified locally:
the time of the last change of F in the version control system.
It's worth mentioning that in Git, this is the commit timestamp and not the author timestamp.
Why is this a C program and not a shell script? A script would be easier to maintain. That's worth commenting on, at least.
