William J. Franck pushed new project branch 25.2 at AdaForge / DevTools / BuildTools / AdaCore.DevTools.BuildTools.GPRbuild

William J. Franck
2025-07-19T06:57:20Z

William J. Franck (fc922572) at 19 Jul 06:57

[25.2] Change helpdesk address.

... and 9 more commits