[dune-pdelab] pdelab installation - some .hh do not get copied to installation directory

[Christian Engwer]

> He already got back to me, but I did not find the time to look through
> it, yet.

If you are too busy, you could just upload the patches.

> BTW: Does anybody get notifications if one posts a bug. I recall that
> this did not work the last I tried, which make the bugtracking kind of
> back hole.

I'll have a talk with Felix this week. I'm not sure what the current
status is. I know that he was working on it.

Christian