Updates:
Owner: [email protected]
Comment #2 on issue 3135 by [email protected]: Issue 1798 not completely fixed
http://code.google.com/p/lilypond/issues/detail?id=3135
Since issue 1798 was fixed without any documentation, in particular without
any comment as to what the additional parameters "paranoid" are supposed to
do, nobody can really tackle this issue except Mike. Please remember
documenting what you are doing while you are at it: then maybe the next
time round, somebody else can do the next fix.
