From mboxrd@z Thu Jan 1 00:00:00 1970 From: Manolis Ragkousis Subject: Re: [PATCH 1/2] gnu: glibc/linux: Rename "linux-headers" input to "kernel-headers". Date: Fri, 28 Aug 2015 12:34:37 +0300 Message-ID: References: <87k2sfu5e7.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:51606) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZVG3W-0006Qv-KH for Guix-devel@gnu.org; Fri, 28 Aug 2015 05:34:43 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZVG3S-0006KG-SU for Guix-devel@gnu.org; Fri, 28 Aug 2015 05:34:42 -0400 In-Reply-To: <87k2sfu5e7.fsf@gnu.org> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: =?UTF-8?Q?Ludovic_Court=C3=A8s?= Cc: Guix-devel Ok, will do. Manolis