diff options
author | Christian Grothoff <christian@grothoff.org> | 2023-11-22 22:34:26 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2023-11-22 22:34:26 +0100 |
commit | e53e06bc753e444b7365cf97bcbe006a52d850b9 (patch) | |
tree | 26a0ef169a866558a775848582f3373d2e089422 /contrib/ci/jobs/3-docs/job.sh | |
parent | a7f7875619a067c1faf5282eec1ca8b16e1d612e (diff) |
avoid race on serial_counter by deferring access to serial_counter after the parsing function is done and we have the lock
Diffstat (limited to 'contrib/ci/jobs/3-docs/job.sh')
0 files changed, 0 insertions, 0 deletions