Subject: [bug#35223] [PATCH] gnu: linux-libre: Set DEVPTS_MULTIPLE_INSTANCES only where needed.

From: Ludovic Courtès <[email-masked]>
Date: Thu, 11 Apr 2019 13:37:23 +0200

Hello,

Tobias Geerinckx-Rice <[email-masked]>
skribis:

> From: Tobias Geerinckx-Rice <[email-masked]>
>
> * 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?

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

Thanks,
Ludo’.