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

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> tag 20872 notabug
Bug #20872 [emacs] 24.5; add-face-text-property doesn't work for :height
Added tag(s) notabug.
> close 20872
bug#20872: 24.5; add-face-text-property doesn't work for :height
bug closed, send any further explanations to
address@hidden and Oleh Krehel <address@hidden>

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

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