Skip to content

Conversation

@PaulCapron
Copy link
Contributor

A ‘r’ was missing in “Bertrand Meyer”.

A ‘R’ was missing in “BeRtrand Meyer” name.
@CLAassistant
Copy link

CLAassistant commented Feb 14, 2025

CLA assistant check
All committers have signed the CLA.

@gusthoff
Copy link
Collaborator

Thanks for the correction!

@gusthoff gusthoff merged commit 1cc3dc0 into AdaCore:master Feb 14, 2025
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.

3 participants