Skip to content

Fix building with GNAT 10 & 11 #188

Fix building with GNAT 10 & 11

Fix building with GNAT 10 & 11 #188