------- Comment #21 from bonzini at gnu dot org  2008-07-30 13:10 -------
Yes, I already moved the relevant entry to gnattools/ChangeLog.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5911

Reply via email to