Uwe Stöhr wrote: > In principle yes. But please don't delete all authors.
I didn't do this explicitly. This is the consequence of rev 19019. > The note should be > in a greyed-out note as the other ones in the document. I can also do this > later today and commit. Yes, please do that. Jürgen
