[Dune-devel] Accidentally pushed to 2.4 release branch

[Christoph Grüninger]

Hi Carsten,
I accidentally pushed my commit to the wrong branch. The 
commit is
fine, at least I think so. But still it is the wrong work 
flow.

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]