On 2026-08-19 13:17:48 +0200, Vincent Lefevre wrote: > In any case "So the birth time should be when mutt creates it." > is wrong, because after I quit the editor, Mutt creates a *new* > file, perhaps only when $edit_headers is set. So it will happen > a tiny fraction of second between this file creation and the > call to time(NULL).
Well, I'm assuming that in case of $edit_headers set, Mutt does the call to time(NULL) *after* the creation of the new file, but I haven't checked that. If this is not the case, this would be an obvious explanation of the issue. -- 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)
