Skip to content

add missing punctuation - #721

Merged
kirtchev-adacore merged 1 commit into
mainfrom
tshepang-patch-3
Aug 20, 2026
Merged

add missing punctuation#721
kirtchev-adacore merged 1 commit into
mainfrom
tshepang-patch-3

add missing punctuation

9655896
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build the documentation
succeeded Aug 20, 2026 in 48s