Processed: Re: Bug#863914: linux-libc-dev: Install separate from /usr/include

To: Ben Hutchings <ben@decadent.org.uk>
Cc: debian-kernel@lists.debian.org
Subject: Processed: Re: Bug#863914: linux-libc-dev: Install separate from /usr/include
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Mon, 05 Jun 2017 00:39:04 +0000
Message-id: <[🔎] handler.s.B863914.149662293612464.transcript@bugs.debian.org>
References: <[🔎] 1496622912.3477.2.camel@decadent.org.uk> <[🔎] 149635168475.5009.9914262789876541157.reportbug@moxana.local>

Processing control commands:

> tag -1 - moreinfo
Bug #863914 [linux-libc-dev] linux-libc-dev: Install separate from /usr/include
Removed tag(s) moreinfo.

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

Reply to:

References:
- Bug#863914: linux-libc-dev: Install separate from /usr/include
  - From: Ben Hutchings <ben@decadent.org.uk>
- Bug#863914: linux-libc-dev: Install separate from /usr/include
  - From: Zack Weinberg <zackw@panix.com>

Prev by Date: Bug#863914: linux-libc-dev: Install separate from /usr/include
Next by Date: Bug#864143: marked as done (initramfs-tools: missing dependency on busybox?)
Previous by thread: Bug#863914: linux-libc-dev: Install separate from /usr/include
Next by thread: Processed: your mail
Index(es):
- Date
- Thread