Ludo',

Ludovic Courtès wrote:
> Tobias Geerinckx-Rice 
> <somebody@not-sent-or-endorsed-by.tobias.gr>
> skribis:
>
>> From: Tobias Geerinckx-Rice <me@tobias.gr>
>>
>> * gnu/packages/linux.scm (%default-extra-linux-options): Move 
>> obsolete
>> CONFIG_DEVPTS_MULTIPLE_INSTANCES option…
>> (linux-libre-4.4): …here.
>
> So “make config” was emitting a warning on kernels > 4.7, right?

Oh, maybe; no idea.

I was tweaking my old kustom (pf-)kernel to be Guix-ready and 
noticed that this option was missing.

> As long as things still work after this patch, go for it!

AFAICT: yes.

Thanks!

T G-R