Processed: Re: Bug#725492: linux-source: deb file contains data.tar.gz instead of data.tar

To: Ben Hutchings <ben@decadent.org.uk>
Cc: debian-kernel@lists.debian.org
Subject: Processed: Re: Bug#725492: linux-source: deb file contains data.tar.gz instead of data.tar
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sun, 06 Oct 2013 16:18:08 +0000
Message-id: <[🔎] handler.s.B725492.138107609923710.transcript@bugs.debian.org>
References: <[🔎] 1381076084.2788.16.camel@deadeye.wl.decadent.org.uk> <[🔎] 20131006142710.6607.61774.reportbug@volta.rr44.fr>

Processing control commands:

> tag -1 moreinfo
Bug #725492 [linux-source-3.10] linux-source: deb file contains data.tar.gz instead of data.tar
Added tag(s) moreinfo.

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

Reply to:

References:
- Bug#725492: linux-source: deb file contains data.tar.gz instead of data.tar
  - From: Ben Hutchings <ben@decadent.org.uk>
- Bug#725492: linux-source: deb file contains data.tar.gz instead of data.tar
  - From: Aurelien Jarno <aurel32@debian.org>

Prev by Date: Bug#725492: linux-source: deb file contains data.tar.gz instead of data.tar
Next by Date: Bug#725492: linux-source: deb file contains data.tar.gz instead of data.tar
Previous by thread: Bug#725492: linux-source: deb file contains data.tar.gz instead of data.tar
Next by thread: Bug#725492: linux-source: deb file contains data.tar.gz instead of data.tar
Index(es):
- Date
- Thread