Skip to content

Conversation

Fabien-Chouteau
Copy link
Member

No description provided.

@Fabien-Chouteau Fabien-Chouteau requested a review from mosteo March 29, 2022 13:36
@mosteo mosteo merged commit 65991b3 into master Mar 30, 2022
@mosteo mosteo deleted the gnatcoll-slim-update branch March 30, 2022 08:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants