Can I push this to wip-hurd?
- [PATCH 1/2] gnu: glibc/linux: Rename "linux-headers... Manolis Ragkousis
- Re: [PATCH 1/2] gnu: glibc/linux: Rename "linu... Manolis Ragkousis
- Re: [PATCH 1/2] gnu: glibc/linux: Rename "linu... Ludovic Courtès
- Re: [PATCH 1/2] gnu: glibc/linux: Rename "... Manolis Ragkousis
- Re: [PATCH 1/2] gnu: glibc/linux: Rename &q... Manolis Ragkousis
- Re: [PATCH 1/2] gnu: glibc/linux: Renam... Ludovic Courtès
