Kevin Dinkel

Results 1 issues of Kevin Dinkel

I am not sure if this it the right place to ask this, so please redirect if needed. I tried to enable the `-gnat2022` flag in a project I am...