Processed: control message for bug #14257

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> tags 14257 fixed
Bug #14257 [emacs] 24.3.50; (elisp) `Modifying Menus' - clarify second example
Added tag(s) fixed.
> close 14257 28.1
bug#14257: 24.3.50; (elisp) `Modifying Menus' - clarify second example
bug marked as fixed in version 28.1, send any further explanations to
14257@debbugs.gnu.org and "Drew Adams" <drew.adams@oracle.com>

> quit
Stopping processing here.

Please contact help-debbugs@gnu.org if you need assistance.

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