Processed: Re: bug#38364: bug#38368: gcc/ dlclose() documentation feedback

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> tags 38364 + notabug
Bug #38364 [emacs] (no subject)
Bug #38368 [emacs] gcc/ dlclose() documentation feedback
Added tag(s) notabug.
Added tag(s) notabug.
> tags 38368 + notabug
Bug #38368 [emacs] gcc/ dlclose() documentation feedback
Bug #38364 [emacs] (no subject)
Ignoring request to alter tags of bug #38368 to the same tags previously set
Ignoring request to alter tags of bug #38364 to the same tags previously set
> close 38364
bug#38364: 
bug#38368: gcc/ dlclose() documentation feedback
bug closed, send any further explanations to
address@hidden and kris <address@hidden>

> close 38368
bug#38368: gcc/ dlclose() documentation feedback
bug is already closed, cannot re-close.

> thanks
Stopping processing here.

Please contact address@hidden if you need assistance.

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