Skip to content

Merge branch 'mr/jicquel/github#88-workaround-gnat-12' into 'master' #269

Merge branch 'mr/jicquel/github#88-workaround-gnat-12' into 'master'

Merge branch 'mr/jicquel/github#88-workaround-gnat-12' into 'master' #269

Annotations

1 error and 2 warnings

Build (windows-latest)

failed Nov 28, 2024 in 2m 33s