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

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> tags 727 unreproducible
Bug #727 [emacs] compilation-disable-input
Ignoring request to alter tags of bug #727 to the same tags previously set
> close 727
bug#727: compilation-disable-input
bug closed, send any further explanations to
address@hidden and Perry Smith <address@hidden>

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

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