From: Paul Hänsch <paul@plutz.net>
Date: Fri, 22 Sep 2023 09:28:48 +0000 (+0200)
Subject: eliminate race condition in index time stamping
X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=0befccc1274549229b77d50c1b8b24d6c4cf5403;hp=0befccc1274549229b77d50c1b8b24d6c4cf5403;p=shellwiki

eliminate race condition in index time stamping
---