Descriptionpage-breaking: do not try to fill ragged-pages; issue 3441
page-breaking: keep the degree of stretching in Line_details; issue 3441
The prioritization of cache_line_details() needs this information
to recognize the best configurations.
Patch Set 1 #
MessagesTotal messages: 1
|