Subject: bug#65700: time when gcs-done is updated needs to be clarified

From: Stefan Monnier <[email-masked]>
Date: Thu, 07 Sep 2023 12:52:50 -0400

>> Hmm... that doesn't really explain in which way this affects your
>> code.
> It does.

At least not in a way that I understand, then :-(

>> `gcs-done` will be always smaller by 1
> That's it.

Why do you care if it starts at 4 rather than at 5?
Maybe we should make it start at some random number instead, to make it
clear that 0 is meaningless :-)

        Stefan