Processed: Re: bashism in /bin/sh script
Debian Bug Tracking System
owner at bugs.debian.org
Sun Jun 15 14:00:13 UTC 2008
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)
More information about the Pkg-grub-devel
mailing list