Processed: Re: Bug#807371: apt hostname resoloution failure

To: Julian Andres Klode <jak@debian.org>
Cc: deity@lists.debian.org
Subject: Processed: Re: Bug#807371: apt hostname resoloution failure
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 08 Dec 2015 09:45:05 +0000
Message-id: <[🔎] handler.s.B807371.144956780628914.transcript@bugs.debian.org>
References: <[🔎] 20151208104041.GA8098@debian.org> <[🔎] 56664BCC.2010806@p10link.net>

Processing control commands:

> severity -1 normal
Bug #807371 [apt] apt hostname resoloution failure
Severity set to 'normal' from 'grave'

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

Reply to:

References:
- Bug#807371: apt hostname resoloution failure
  - From: Julian Andres Klode <jak@debian.org>
- Bug#807371: apt hostname resoloution failure
  - From: peter green <plugwash@p10link.net>

Prev by Date: Bug#807371: apt hostname resoloution failure
Next by Date: Bug#807371: apt hostname resoloution failure
Previous by thread: Bug#807371: apt hostname resoloution failure
Next by thread: Bug#807371: apt hostname resoloution failure
Index(es):
- Date
- Thread