[Bug plugins/56754] some missing plugin headers during installation in gcc 4.8

[baldrick at gcc dot gnu.org]

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

Duncan Sands <baldrick at gcc dot gnu.org> changed:

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

--- Comment #8 from Duncan Sands <baldrick at gcc dot gnu.org> ---
Jakub backported the fix to the 4.8 branch.