Processed: Re: bashism in /bin/sh script

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> user debian-release at lists.debian.org
Setting user to debian-release at lists.debian.org (was vincent at zweije.nl.eu.org).
> usertag 486040 -goal-dash
Bug#486040: grub-ieee1275: bashism in /bin/sh script
Usertags were: goal-dash.
Usertags are now: .
> tag 486040 patch
Bug#486040: grub-ieee1275: bashism in /bin/sh script
There were no tags set.
Tags added: patch

> severity 486040 minor
Bug#486040: grub-ieee1275: bashism in /bin/sh script
Severity set to `minor' from `important'

> usertag 486042 -goal-dash
Bug#486042: bug 464964 appears again
There were no usertags set.
Usertags are now: .
> tag 486042 patch
Bug#486042: bug 464964 appears again
There were no tags set.
Tags added: patch

> severity 486042 minor
Bug#486042: bug 464964 appears again
Severity set to `minor' from `normal'

> thanks
Stopping processing here.

Please contact me if you need assistance.

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