On 2026-08-21 11:20:26 +0200, Oswald Buddenhagen via Mutt-dev wrote: > also, i'd generally speak of precision rather than granularity. to me, the > former seems more suggestive of general fuzziness, which seems more fitting > here.
No, this is not the same thing. The mtime has had a nanosecond precision for years. But the granularity changed recently. -- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / Pascaline project (LIP, ENS-Lyon)
