[Bug other/40004] gcc does not install appropriate plugin headers

[bradh at frogmouth dot net]

------- Comment #3 from bradh at frogmouth dot net  2009-05-08 07:58 -------
Looks like the install is now dealing with this.


-- 

bradh at frogmouth dot net changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED


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