The line spacing issue mentioned in comment #35 is now reported separately as bug #1642133. Latest development version 0.92pre3 r15195 is also affected.
The line spacing issue mentioned in comment #35 is now reported separately
as bug #1642133. Latest development version 0.92pre3 r15195 is also affected.