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

Commits

Commits on Aug 20, 2026