[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] gnu: glibc/linux: Rename linux-headers input to kernel-headers.
From: |
Manolis Ragkousis |
Subject: |
[PATCH] gnu: glibc/linux: Rename linux-headers input to kernel-headers. |
Date: |
Thu, 4 Feb 2016 16:23:42 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 |
Hello everyone,
This patch applies to wip-hurd. In order to use it on master, the (gnu
packages commencement) module should also be modified, which is already
the case in wip-hurd.
I will push the patch to wip-hurd.
Manolis
0001-gnu-glibc-linux-Rename-linux-headers-input-to-kernel.patch
Description: Text Data
- [PATCH] gnu: glibc/linux: Rename linux-headers input to kernel-headers.,
Manolis Ragkousis <=