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

[GNU bug Tracking System]

Processing commands for address@hidden:

> tags 3759 notabug
Bug #3759 [emacs] window-height wrong with changed font-size
Added tag(s) notabug.
> close 3759
bug#3759: window-height wrong with changed font-size
bug closed, send any further explanations to
address@hidden and grischka <address@hidden>

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

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