[Dune-devel] After latest pull dune-alugrid does not compile

[Christoph Grüninger]

Hi Aleksejs,
the error looks surprisingly similar to the problem in your 
last email, doesn't it?
I guess they either did not yet find the time to fix it or 
their target is still
Dune 2.3 and Dune 2.4, and not Dune master / will be 3.0.

In any case, open a bug request on their bugtracker
https://users.dune-project.org/projects/dune-alugrid
There it won't be forgotten, usually.

Bye
Christoph

-- 
Je n'ai rien contre les étrangers, quelques uns de mes 
meilleurs amis
sont des étrangers. Mais ces étrangers là ne sont pas de chez 
nous!
[Agecanonix, Astérix - Le cadeau de César]