[debbugs-tracker] Processed: control message for bug #1255

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> close 1255 25.1
bug#1255: 23.0.60; linum-mode: no update after text-scale-adjust
bug#8379: The width of linum window is not adjusted after face-remapping
bug#10960: linum-mode does not work properly when changing font size
bug marked as fixed in version 25.1, send any further explanations to
address@hidden and Stephen Berman <address@hidden>

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

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