Extending section on fixed-point types#1317
Merged
gusthoff merged 31 commits intoAdaCore:mainfrom Apr 21, 2026
Merged
Commits
Commits on Apr 19, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed