Skip to content

Fix race in Naming_Tools.Register when contexts are created concurrently - #35

Open
gdepacetest wants to merge 1 commit into
AdaCore:masterfrom
gdepacetest:fix-naming-register-race
Open

Fix race in Naming_Tools.Register when contexts are created concurrently#35
gdepacetest wants to merge 1 commit into
AdaCore:masterfrom
gdepacetest:fix-naming-register-race

Commits

Commits on Oct 7, 2026