Processed: Re: Bug#700422: wdm shouldn't use /dev/mem

To: Agustin Martin <agmartin@debian.org>
Cc: packages@qa.debian.org
Subject: Processed: Re: Bug#700422: wdm shouldn't use /dev/mem
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Thu, 14 Feb 2013 15:21:04 +0000
Message-id: <[🔎] handler.s.B700422.136085498714579.transcript@bugs.debian.org>
References: <[🔎] 20130214151555.GA4897@agmartin.aq.upm.es> <[🔎] 20130212143254.6926.1420.reportbug@a1.tnic>

Processing control commands:

> tag -1 +pending
Bug #700422 [wdm] wdm shouldn't use /dev/mem
Bug #700421 [wdm] wdm shouldn't use /dev/mem
Added tag(s) pending.
Added tag(s) pending.

-- 
700421: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=700421
700422: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=700422
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#700422: wdm shouldn't use /dev/mem
  - From: Agustin Martin <agmartin@debian.org>
- Bug#700422: wdm shouldn't use /dev/mem
  - From: Borislav Petkov <bp@alien8.de>

Prev by Date: Bug#689119: marked as done (njam: highscore file munging deletes a shipped file during installation)
Next by Date: Bug#700422: wdm shouldn't use /dev/mem
Previous by thread: Bug#700422: wdm shouldn't use /dev/mem
Next by thread: Bug#700422: marked as done (wdm shouldn't use /dev/mem)
Index(es):
- Date
- Thread