Skip to content
This repository was archived by the owner on Aug 12, 2024. It is now read-only.

Test with GNAT CE 2020#24

Merged
jklmnn merged 2 commits intomasterfrom
gnat_ce_2020
May 28, 2020
Merged

Test with GNAT CE 2020#24
jklmnn merged 2 commits intomasterfrom
gnat_ce_2020

Conversation

@jklmnn
Copy link
Member

@jklmnn jklmnn commented May 28, 2020

No description provided.

@jklmnn jklmnn requested a review from senier May 28, 2020 09:25
@jklmnn jklmnn merged commit f3f53b5 into master May 28, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants