Skip to content

Conversation

@pat-rogers
Copy link
Contributor

No description provided.

@pat-rogers pat-rogers requested a review from gusthoff November 16, 2024 22:47
@gusthoff gusthoff merged commit 7c16eb7 into AdaCore:master Nov 16, 2024
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants