William J. Franck pushed new project tag master-20230102 at AdaForge / DevTools / BuildTools / AdaCore.DevTools.BuildTools.GPRbuild

William J. Franck
2023-01-02T14:56:42Z

William J. Franck (185cdd72) at 02 Jan 14:56

Merge branch 'topic/trailing' into 'master'