[debbugs-tracker] Processed: control message for bug #5823

[GNU bug Tracking System]

Processing commands for address@hidden:

> tags 5823 notabug
Bug #5823 [emacs] run-at-time and Setting system time
Bug #5822 [emacs] run-at-time and Setting system time
Added tag(s) notabug.
Added tag(s) notabug.
> close 5823
bug#5823: run-at-time and Setting system time
bug#5822: run-at-time and Setting system time
bug closed, send any further explanations to
address@hidden and address@hidden (J. David Boyd)

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

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