[DRE-maint] Processed: user release.debian.org at packages.debian.org, usertagging 859510, tagging 859510

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> user release.debian.org at packages.debian.org
Setting user to release.debian.org at packages.debian.org (was niels at thykier.net).
> usertags 859510 stretch-can-defer
There were no usertags set.
Usertags are now: stretch-can-defer.
> tags 859510 + stretch-ignore
Bug #859510 [src:ruby-unf-ext] Generated header file without means to regenerate
Added tag(s) stretch-ignore.
> thanks
Stopping processing here.

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