2015-05-03 14:30 GMT+02:00 Jürgen Spitzmüller: > 2015-04-30 19:35 GMT+02:00 Jürgen Spitzmüller: > >> Further testing revealed that this is a change that needs careful >> testing. I have learned that readParToken also uses getDocString() in order >> to read normal paragraph lines, and thus obviously must not be trimmed. >> > > After some more pondering, I propose to go with the most careful approach > and only trim at request (only the "requires" tags for now). It does not > strike me sensible to do the trimming when we have no indication it is > needed. > > See attached patch. >
So what shall I do with this? It seems the safest approach to me. Jürgen > > OK? > Jürgen > >
