Re: [PATCH 1/2] gnu: glibc/linux: Rename "linux-headers" input to "kernel-headers".

Manolis Ragkousis skribis: > Updated all the files referring to linux-headers in gnu/packages. The > part of the patch referring to > glibc/hurd was kept out, as there is no glibc/hurd in master. > > Is it okay to push it to core-updates? Sorry, because of delay on my

Re: [PATCH 1/2] gnu: glibc/linux: Rename "linux-headers" input to "kernel-headers".

Updated all the files referring to linux-headers in gnu/packages. The part of the patch referring to glibc/hurd was kept out, as there is no glibc/hurd in master. Is it okay to push it to core-updates? From b5d724cae502e8bf664b71045f4053e6d35a98df Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis

Re: [PATCH 1/2] gnu: glibc/linux: Rename linux-headers input to kernel-headers.

Ok, will do. Manolis

Re: [PATCH 1/2] gnu: glibc/linux: Rename linux-headers input to kernel-headers.

Manolis Ragkousis manolis...@gmail.com skribis: From f9759a80030e11dfb8257f2334d5ce8f5d009cc7 Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis manolis...@gmail.com Date: Fri, 14 Aug 2015 14:00:16 +0300 Subject: [PATCH 1/2] gnu: glibc/linux: Rename linux-headers input to kernel-headers

Re: [PATCH 1/2] gnu: glibc/linux: Rename linux-headers input to kernel-headers.

Can I push this to wip-hurd?

[PATCH 1/2] gnu: glibc/linux: Rename linux-headers input to kernel-headers.

Hello everyone, This patch applies to wip-hurd. Manolis From f9759a80030e11dfb8257f2334d5ce8f5d009cc7 Mon Sep 17 00:00:00 2001 From: Manolis Ragkousis manolis...@gmail.com Date: Fri, 14 Aug 2015 14:00:16 +0300 Subject: [PATCH 1/2] gnu: glibc/linux: Rename linux-headers input to kernel-headers