Change the "Solution" heading to "Implementation(s)" #1173

Merged

gusthoff merged 1 commit intoAdaCore:masterfrom pat-rogers:master

Jan 17, 2025

+87-85

Commits on Jan 17, 2025

Change the "Solution" heading to "Implementation(s)" to avoid the context of
pat-rogers
committed