Processed: control message for bug #38801

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> severity 38801 wishlist
Bug #38801 [emacs] html-name-anchor needs to be updated to html-id-anchor
Severity set to 'wishlist' from 'minor'

> quit
Stopping processing here.

Please contact address@hidden if you need assistance.

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