|
From: | Tobias Geerinckx-Rice |
Subject: | bug#35223: [PATCH] gnu: linux-libre: Set DEVPTS_MULTIPLE_INSTANCES only where needed. |
Date: | Sun, 14 Apr 2019 20:20:58 +0200 |
Tobias Geerinckx-Rice wrote:
* gnu/packages/linux.scm (%default-extra-linux-options): Move obsolete CONFIG_DEVPTS_MULTIPLE_INSTANCES option… (linux-libre-4.4): …here.
[…]
As long as things still work after this patch, go for it!AFAICT: yes.
Pushed as 8b4e76249a4d1b4af5da6a8b07f4fb3c92234c07. Kind regards, T G-R
signature.asc
Description: PGP signature
[Prev in Thread] | Current Thread | [Next in Thread] |