> I added some extra space in commit 2d1867cd03. It's probably not
> perfect either but hopefully it will be good enough.
Thanks, but it seems that you haven't called 'git push'...
>> Under some circumstances it seems that `texinfo.tex` allows one
>> more text line, causing even more compression of the vertical
>> space. I wasn't able to reproduce this easily; the attached image
>> shows LilyPond's real-world example.
>
> I don't really understand what you mean by "one more text line"
> here.
The PDF file in the last e-mail has five lines in the last paragraph;
the image shows six lines.
Werner
