From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 11 15:32:25 2022 Received: (at 57731) by debbugs.gnu.org; 11 Sep 2022 19:32:25 +0000 Received: from localhost ([127.0.0.1]:43593 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oXSgq-0003YL-UD for submit@debbugs.gnu.org; Sun, 11 Sep 2022 15:32:25 -0400 Received: from knopi.disroot.org ([178.21.23.139]:46616) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oXSgo-0003YD-Kc for 57731@debbugs.gnu.org; Sun, 11 Sep 2022 15:32:22 -0400 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id 14AA74A040; Sun, 11 Sep 2022 21:32:22 +0200 (CEST) X-Virus-Scanned: SPAM Filter at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 7TFC5R5-M65Q; Sun, 11 Sep 2022 21:32:21 +0200 (CEST) Mime-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1662924741; bh=xDlOs6BOi5r09aM+C/BE25FKjfxSEChVZ++i8l3vHLQ=; h=Date:Subject:From:To:References:In-Reply-To; b=BdihgEVtOQGU6pt1bHKvWhtFYs3N5wxRBYqvQx/e7BjTVQ69ZeYYjPFC9AdOsQHVA w2or0o0PKROBW02g2wI4BksiNeBXIBFNflcV8PR8KP3bQ1ErJiPh3UnAIuFcTvb2Ca uVGbif5Pbxzl/tyh1J3UdYRGcQAKRvuCaRxUMk13lgPDOYuhIa34ALlEYuWJbYSciU 1Lvd5TtdHb63JHdTLTzLbirpQOxBSVSCig44l3EdXEVwJdZ9y7fhIQHdJov7a2QIyE 5a9+3sEpKa6YEJQ5k57mDFiuiZx+3bHtIdXJbJmvrzZpCsS14JKrIkZl95kJWk46mU q83zWKPE+2kQw== Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=UTF-8 Date: Sun, 11 Sep 2022 20:32:20 +0100 Message-Id: Subject: Re: [PATCH v4] gnu: Add batsignal. From: "(" To: "M" , <57731@debbugs.gnu.org> References: <20220911192905.13238-1-matf@disr.it> In-Reply-To: <20220911192905.13238-1-matf@disr.it> X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: 57731 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) LGTM! -- (