]> Sergey Matveev's repositories - public-inbox.git/commitdiff
projects / public-inbox.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: ef59219)
doc/txt2pre: flush output before utime()
authorEric Wong <e@80x24.org>
Wed, 1 Jan 2020 09:57:53 +0000 (09:57 +0000)
committerEric Wong <e@80x24.org>
Thu, 2 Jan 2020 02:15:51 +0000 (02:15 +0000)
Otherwise our utime() change is overridden when the flush
happens at exit.


No differences found
My patches to https://public-inbox.org/public-inbox.git