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

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> tags 12377 fixed
Bug #12377 [emacs] 24.2.50; `minibuffer-prompt-properties' should respect 
existing faces in prompt string
Bug #16136 [emacs] 24.3.50; `minibuffer-prompt-properties' for `face'
Added tag(s) fixed.
Added tag(s) fixed.
> close 12377 25.2
bug#12377: 24.2.50; `minibuffer-prompt-properties' should respect existing 
faces in prompt string
bug#16136: 24.3.50; `minibuffer-prompt-properties' for `face'
bug marked as fixed in version 25.2, send any further explanations to
address@hidden and "Drew Adams" <address@hidden>

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

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