From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:52217) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hFjlU-0002oS-8j for guix-patches@gnu.org; Sun, 14 Apr 2019 14:22:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hFjlT-0001fp-0Y for guix-patches@gnu.org; Sun, 14 Apr 2019 14:22:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:47839) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hFjlS-0001fh-Pe for guix-patches@gnu.org; Sun, 14 Apr 2019 14:22:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hFjlS-00013z-IC for guix-patches@gnu.org; Sun, 14 Apr 2019 14:22:02 -0400 Subject: bug#35223: [PATCH] gnu: linux-libre: Set DEVPTS_MULTIPLE_INSTANCES only where needed. Resent-To: guix-patches@gnu.org Resent-Message-ID: From: Tobias Geerinckx-Rice References: <20190410231936.15275-1-somebody@not-sent-or-endorsed-by.tobias.gr> <877ec022oc.fsf@gnu.org> <87mukwsodv.fsf@nckx> In-reply-to: <87mukwsodv.fsf@nckx> Date: Sun, 14 Apr 2019 20:20:58 +0200 Message-ID: <87muksa1o5.fsf@nckx> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 35223-done@debbugs.gnu.org --=-=-= Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable Tobias Geerinckx-Rice wrote: >>> * gnu/packages/linux.scm (%default-extra-linux-options): Move >>> obsolete >>> CONFIG_DEVPTS_MULTIPLE_INSTANCES option=E2=80=A6 >>> (linux-libre-4.4): =E2=80=A6here. [=E2=80=A6] >> As long as things still work after this patch, go for it! > > AFAICT: yes. Pushed as 8b4e76249a4d1b4af5da6a8b07f4fb3c92234c07. Kind regards, T G-R --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQT12iAyS4c9C3o4dnINsP+IT1VteQUCXLN6CgAKCRANsP+IT1Vt eU3GAQDe3nLr4d/y0wsby3Oc0K0OGtkai6bApyoJ2HPf5dkv5QEAwOSw1zG9NzW+ +HG1PbPYzvyefZJVeL+6G+v2O+r9kQw= =Z1p6 -----END PGP SIGNATURE----- --=-=-=--