Skip to content

Ensure loop does not go forever in RNG#461

Open
pat-rogers wants to merge 1 commit intoAdaCore:masterfrom
pat-rogers:rng_polling_pr
Open

Ensure loop does not go forever in RNG#461
pat-rogers wants to merge 1 commit intoAdaCore:masterfrom
pat-rogers:rng_polling_pr

Commits

Commits on Mar 28, 2026