vertical spacing below last staff on page and lyrics

[Martin Tarenskeen]

> I'm not top posting

Hi,

In the following example the spacing between the last staff on the page and the
"lyrics" below it( in this case only "---", but that does not matter ) is too
small. It does not collide, but I think the spacing should be identical to the
other staves on the the page. AT least that is what I would like. Identical
staves with identical notes and lyrics should have identical spacing, no matter
if it is the last staff on the page or not ?

In 2.12.3 the example looks fine, in 2.13.35 not, which I consider to be a
regression.

( BTW: Also http://members.tele2.nl/m.tarenskeen/tmp/khatch-err.ly still has the
colliding tagline using 2.13.35, just like I reported for 2.13.34. )

---------- 8< ----------

\version "2.13.35"
\paper {
% I think this line causes my problem:
   ragged-last-bottom=##f
}

\score {
   <<
     \new Staff {
       \relative c' {
     \repeat unfold 10 {
       c1 | c | c | c | c | c | c | c | \break
     }
       }
     }
     \new Lyrics {
       \lyricmode {
     \repeat unfold 80 { ---1 }
       }
     }
   >>
   \layout{}
}