[DRE-maint] Processed: unarchiving 725313, reopening 725313, unarchiving 725312, reopening 725312

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> # src:ohai was reintroduced: https://lists.debian.org/msgid-search/546c2c3d77eaef6dc2b26c7ed7663f16df847bda.camel@debian.org
> unarchive 725313
Bug #725313 {Done: Debian FTP Masters <ftpmaster at ftp-master.debian.org>} [ohai] ohai has invalid names in the "listeners" section
Unarchived Bug 725313
> reopen 725313
Bug #725313 {Done: Debian FTP Masters <ftpmaster at ftp-master.debian.org>} [ohai] ohai has invalid names in the "listeners" section
'reopen' may be inappropriate when a bug has been closed with a version;
all fixed versions will be cleared, and you may need to re-add them.
Bug reopened
No longer marked as fixed in versions 16.0.7-3+rm.
> unarchive 725312
Bug #725312 {Done: Debian FTP Masters <ftpmaster at ftp-master.debian.org>} [ohai] ohai does not detect python3
Unarchived Bug 725312
> reopen 725312
Bug #725312 {Done: Debian FTP Masters <ftpmaster at ftp-master.debian.org>} [ohai] ohai does not detect python3
'reopen' may be inappropriate when a bug has been closed with a version;
all fixed versions will be cleared, and you may need to re-add them.
Bug reopened
No longer marked as fixed in versions 16.0.7-3+rm.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
725312: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=725312
725313: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=725313
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems