Manolis Ragkousis <[email protected]> writes: > From 66d633186cb338c87f7df9c6494f7dca1c8531c0 Mon Sep 17 00:00:00 2001 > From: Manolis Ragkousis <[email protected]> > Date: Fri, 31 Jul 2015 19:20:31 +0300 > Subject: [PATCH] gnu: base: Replace Gnumach/Hurd headers with kernel-headers > package.
Okay for wip-hurd.
Thanks!
Mark
