On 30/06/2023 12:30, Luke A. Guest wrote:
> The /build/gnat gpr's have got a bit confused by the looks of things.
> 
> Can you try this patch, it's made from a stash from a diff branch, if it 
> works I'll apply it and push it.

Ignore that, I forgot something, try this one instead.