Skip to content

First batch of 24.0 releases for AdaCore libraries#921

Merged
mosteo merged 1 commit intostable-1.2.1from adacore-24-step-1Nov 20, 2023

Commits

Commits on Nov 15, 2023