Ok, will do. Manolis
- [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
