Processed: Re: Bug#415805: Kernel panic on machines with 8 Gbytes of memory

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

Processing commands for control@bugs.debian.org:

> user debian-kernel@lists.debian.org
Setting user to debian-kernel@lists.debian.org (was waldi@debian.org).
> usertag 415805 dkt-etch-update
Bug#415805: Kernel panic on machines with 8 Gbytes of memory
There were no usertags set.
Usertags are now: dkt-etch-update.
> tag 415805 patch
Bug#415805: Kernel panic on machines with 8 Gbytes of memory
There were no tags set.
Tags added: patch

> severity 415805 important
Bug#415805: Kernel panic on machines with 8 Gbytes of memory
Severity set to `important' from `normal'

> thanks
Stopping processing here.

Please contact me if you need assistance.

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