Skip to content

use short-circuit where possible#73

Open
pjljvandelaar wants to merge 2 commits intoAdaCore:masterfrom
pjljvandelaar:short-circuit
Open

use short-circuit where possible#73
pjljvandelaar wants to merge 2 commits intoAdaCore:masterfrom
pjljvandelaar:short-circuit

Commits

Commits on Dec 15, 2022