>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> Jean-Marc Lasgouttes wrote: Adding a newline has no side Juergen> effects in this specific case AFAICS (and we already do that Juergen> for trivlist alignment), so I think this change could go in. >> Yes (in 1.4.X too) Juergen> I'll do that. Thanks.
