Processed: Re: *wav* executable are not setgid audio.

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

Processing commands for control@bugs.debian.org:

> reassign 42907 debian-policy
Bug#42907: *wav* executable are not setgid audio.
Bug reassigned from package `wavtools' to `debian-policy'.

> retitle 42907 Policy should mention permissions of /dev/[dsp,audio,mixer]
Bug#42907: *wav* executable are not setgid audio.
Changed bug title.

> serverity 42907 normal
Unknown command or malformed arguments to command.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Ian Jackson
(administrator, Debian bugs database)