Processed: your mail

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> user debian-release@lists.debian.org
Setting user to debian-release@lists.debian.org (was atomo64@gmail.com).
> usertag 461352 + goal-dash
Bug#461352: texinfo: bashism in texi2dvi
There were no usertags set.
Usertags are now: goal-dash.
> severity 461352 important
Bug#461352: texinfo: bashism in texi2dvi
Severity set to `important' from `minor'

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)