Processed: Re: Bug#712996: debian-edu-config: should we add dpkg origin settings?

To: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>
Cc: debian-edu@lists.debian.org
Subject: Processed: Re: Bug#712996: debian-edu-config: should we add dpkg origin settings?
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Wed, 14 Oct 2015 14:06:13 +0000
Message-id: <[🔎] handler.s.B712996.144483143217323.transcript@bugs.debian.org>
References: <[🔎] 20151014140347.Horde.AMyYNhAVF3IQ1yGzxndWDg1@mail.das-netzwerkteam.de> <2flhagr9xih.fsf@diskless.uio.no>

Processing control commands:

> tags -1 moreinfo
Bug #712996 [debian-edu-config] debian-edu-config: should we add dpkg origin settings?
Added tag(s) moreinfo.

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

Reply to:

References:
- Bug#712996: debian-edu-config: should we add dpkg origin settings?
  - From: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>

Prev by Date: Processed: Re: Bug#654401: On standalone machines let default homepage point to appropriate page in one of debian-edu-doc-*
Next by Date: Bug#712996: debian-edu-config: should we add dpkg origin settings?
Previous by thread: Bug#712996: debian-edu-config: should we add dpkg origin settings?
Next by thread: Bug#712996: debian-edu-config: should we add dpkg origin settings?
Index(es):
- Date
- Thread