[PATCH] Add some more headers to PLUGIN_HEADERS (PR plugins/59335)

[Basile Starynkevitch]

On Wed, 2014-03-05 at 15:00 +0100, Jakub Jelinek wrote:
> Hi!
> 
> The PR requests beyond the already commited ones some further headers.
> 
> Tested with make install, ok for trunk?

I am not authorized to approve that, but I hope it will be committed.

Cheers.
-- 
Basile STARYNKEVITCH         http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mine, sont seulement les miennes} ***