Description
See the thread on the mailing list with the Subject "trivial yet very serious bug, suggestions welcome" about how if a working file is modified too quickly (say, by a script) after its timestamp is set, then the modtime and timestamp will be indistinguishable, and the file's modified-ness will not be detectable. Greg Hudson suggests several good fixes in that thread.