[Bug ada/37641] FILE_WRITE_PROPERTIES is deprecated

[sam at gcc dot gnu dot org]

------- Comment #5 from sam at gcc dot gnu dot org  2008-09-25 15:14 -------
Fixed in current SVN trunk, thanks.


-- 

sam at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.4.0


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