tree 1c83a26ca86e35fdb3ff72f58ebbeb6dda0f3e07
parent e3cfe456d67aa428b5144ef760e65b1b7b893e47
author Ralf Jung <post@ralfj.de> 1728739379 +0200
committer Ralf Jung <post@ralfj.de> 1728920669 +0200

turns out relaxed accesses suffice here