Manolis Ragkousis <[email protected]> skribis: > Updated patch. > > Should I push? > > From 7016fba81c037f32ae749fd638ed453f180922f4 Mon Sep 17 00:00:00 2001 > From: Manolis Ragkousis <[email protected]> > Date: Wed, 27 May 2015 17:22:43 +0300 > Subject: [PATCH] gnu: glibc/hurd-headers: Propagate Hurd and Mach headers. > > * gnu/packages/base.scm (glibc/hurd-headers)[propagated-inputs]: New > field.
Sure! Ludo'.
