[developers] Re: cheap MWE problem and solution.

[Bernd Kiefer]

If everyone agrees on this change, i'll put it into the main branch.

Is this OK?

        Bernd

-- 
**********************************************************************
Bernd Kiefer                                            Am Blauberg 16
kiefer at dfki.de                                      66119 Saarbruecken
+49-681/302-5301 (office)                      +49-681/3904507  (home)
**********************************************************************