------- Comment #20 from ebotcazou at gcc dot gnu dot org 2008-07-30 13:00 ------- Note that changes to gnattools/ are to be described in gnattools/ChangeLog. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5911