Processed: control message for bug #28074

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> tags 28074 fixed
Bug #28074 [emacs] 25.2; `Info-toc' should not duplicate nodes by processing 
`The Detailed Node Listing'
Added tag(s) fixed.
> close 28074 28.1
bug#28074: 25.2; `Info-toc' should not duplicate nodes by processing `The 
Detailed Node Listing'
bug marked as fixed in version 28.1, send any further explanations to
28074@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/