[Emacs-bug-tracker] Processed: control message for bug #3801

[GNU bug Tracking System]

Processing commands for address@hidden:

> tags 3801 notabug
Bug #3801 [emacs] 23.0.96; Emacs manual: add index entry for "notation, keys" 
or "key notation"
Added tag(s) notabug.
> close 3801
bug#3801: 23.0.96; Emacs manual: add index entry for "notation, keys" or "key 
notation"
bug closed, 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/