Re: [PATCH] gnu: linux-libre-headers: Use modify-phases.

[Ludovic Courtès]

David Craven <da...@craven.ch> skribis:

> * gnu/packages/linux.scm (linux-libre-headers): Use modify phases.

LGTM!  This must go to ‘core-updates’ though, because it triggers a full
rebuild.

Thanks,
Ludo’.