From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id qCnAJ/Ec3191KwAA0tVLHw (envelope-from ) for ; Sun, 20 Dec 2020 09:44:17 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id ANKCI/Ec31+3MAAA1q6Kng (envelope-from ) for ; Sun, 20 Dec 2020 09:44:17 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 3E91C9403C5 for ; Sun, 20 Dec 2020 09:44:17 +0000 (UTC) Received: from localhost ([::1]:47790 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kqvGA-0006ki-NC for larch@yhetil.org; Sun, 20 Dec 2020 04:44:14 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:41404) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kqvFy-0006jv-7e for bug-guix@gnu.org; Sun, 20 Dec 2020 04:44:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:60390) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kqvFy-0004YE-0F for bug-guix@gnu.org; Sun, 20 Dec 2020 04:44:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kqvFx-0004m6-Tu for bug-guix@gnu.org; Sun, 20 Dec 2020 04:44:01 -0500 Subject: bug#45314: =?UTF-8?Q?=E2=80=98guix_?= =?UTF-8?Q?discover=E2=80=99?= polls Resent-From: Mathieu Othacehe Original-Sender: "Debbugs-submit" Resent-To: bug-guix@gnu.org Resent-Date: Sun, 20 Dec 2020 09:44:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 45314 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Mail-Followup-To: 45314@debbugs.gnu.org, othacehe@gnu.org, ludo@gnu.org Received: via spool by 45314-done@debbugs.gnu.org id=D45314.160845739118280 (code D ref 45314); Sun, 20 Dec 2020 09:44:01 +0000 Received: (at 45314-done) by debbugs.gnu.org; 20 Dec 2020 09:43:11 +0000 Received: from localhost ([127.0.0.1]:43702 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kqvF8-0004km-Md for submit@debbugs.gnu.org; Sun, 20 Dec 2020 04:43:11 -0500 Received: from eggs.gnu.org ([209.51.188.92]:48104) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kqvF5-0004kU-M6 for 45314-done@debbugs.gnu.org; Sun, 20 Dec 2020 04:43:09 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]:44734) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kqvF0-00042p-3S; Sun, 20 Dec 2020 04:43:02 -0500 Received: from [2a01:e0a:19b:d9a0:ac2a:8ddd:1dd0:ed79] (port=39114 helo=cervin) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1kqvEz-0008UA-LE; Sun, 20 Dec 2020 04:43:01 -0500 From: Mathieu Othacehe References: <87a6ub9h1v.fsf@inria.fr> Date: Sun, 20 Dec 2020 10:43:00 +0100 In-Reply-To: <87a6ub9h1v.fsf@inria.fr> ("Ludovic =?UTF-8?Q?Court=C3=A8s?="'s message of "Fri, 18 Dec 2020 18:10:04 +0100") Message-ID: <87czz4g6e3.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 45314-done@debbugs.gnu.org Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -2.81 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Migadu-Queue-Id: 3E91C9403C5 X-Spam-Score: -2.81 X-Migadu-Scanner: scn1.migadu.com X-TUID: RSWpBvCgdP56 Hey Ludo, > How about the change below? I think it looks nice! I pushed it as f9978346e73359ac1d8b88c9ed874edc7225582b. Thanks, Mathieu