Jean-Marc Lasgouttes wrote: > Juergen> Adding a newline has no side effects in this specific case > Juergen> AFAICS (and we already do that for trivlist alignment), so I > Juergen> think this change could go in. > > Yes (in 1.4.X too)
I'll do that. Jürgen
