Skip to content

Conversation

@gusthoff
Copy link
Collaborator

No description provided.

@gusthoff gusthoff added the new section Section using new content label Apr 19, 2025
@gusthoff gusthoff requested a review from pat-rogers April 20, 2025 14:10
@gusthoff gusthoff force-pushed the content/advanced_ada/new_content/types/universal_numeric_types/20250419 branch from 170a78f to 7e658b7 Compare May 4, 2025 18:42
@gusthoff gusthoff force-pushed the content/advanced_ada/new_content/types/universal_numeric_types/20250419 branch from 7e658b7 to 09c5f4e Compare May 4, 2025 18:48
@gusthoff gusthoff requested a review from pat-rogers May 9, 2025 19:58
@gusthoff gusthoff requested a review from pat-rogers May 10, 2025 02:13
@gusthoff gusthoff merged commit d5077ad into AdaCore:master May 10, 2025
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

new section Section using new content

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants