[dune-functions] [Dune-functions-commit] [Commit] dune-functions - cee6ce5: No need to include final.hh

[Christian Engwer]

>     No need to include final.hh
>     
>     It is actually included from within config.h[sic]
                                          ^^^^^^^^

why this? THis seems like a bug to me.

Christian