[debbugs-tracker] Processed: control message for bug 17831

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> merge 9084 17831
bug#9084: 24.0.50; displaying man pages splits the window and formats the text 
for the full width of the whole frame rather than for the width of the window 
the text is displayed in, which is only 1/2 the width of the frame
bug#17831: 24.4.50; bad default value for `Man-width'
bug#2588: 23.0.90; Man buffer improperly formatted - wrong width
Merged 2588 9084 17831.

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

GNU bugs database, http://debbugs.gnu.org/