Summary of changes: 0d6a421... Changed GNAT_optflags to Gnatmake_optflags. (*) 4d76eab... Rebuilt with GtkAda-2.18.0. (*) (*) This commit already existed in another branch; no separate mail sent