Abdelrazak Younes wrote: > I apply a combination of your two patch Juergen. Enrico might think this > is due to ignorance about C++ but this is just ignorance about a bug in > the odocstream.
For the time being, I just committed my second patch to branch. If Enrico confirms your char->char_type change also works on the problematic systems, we can still do that. Jürgen
