From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 28 07:26:39 2023 Received: (at 59981) by debbugs.gnu.org; 28 Jan 2023 12:26:39 +0000 Received: from localhost ([127.0.0.1]:39771 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pLkI3-00010J-Ji for submit@debbugs.gnu.org; Sat, 28 Jan 2023 07:26:39 -0500 Received: from lepiller.eu ([89.234.186.109]:34666) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pLkI2-000108-GF; Sat, 28 Jan 2023 07:26:38 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id dbd51f08; Sat, 28 Jan 2023 12:26:37 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:cc:subject:message-id:in-reply-to:references:mime-version :content-type:content-transfer-encoding; s=dkim; bh=zlgMyJ6EKtIr LBtJDa/Xz2c7IYY+wjqGzyzZCdux144=; b=huWqR94qx0CiWPvc/SadUDcp+Y+f 44VH1bB18SbUzoNCup9ay8hKDaeclwTyOAMFCfHwA52YoVntaCglMsNROFcaLxgh Djp+ZPUHqPHk8qmx1fN86DFIa4NeOc6as1uUgmNm4YC4Mi0QsKCGRXVvdQlZF2T7 Ov5lNc7DC5nyN2aTieBpqvU+xgs8QTlQKN9bcc+YNwdMiXTOuWNWLzJVmG5JQcu+ ZG+vobROdMR0+rzh+mO81zsACaaD8e0U3cz7nxyT/UuVGsSgqTEzkTwY+EKFYgAo HB4+7kMu0Jl4jUSc4RR4aqfKfTxe/6NrBJNiUF32MEvVu0Oor0iYmHFTjw== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id be328b55 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Sat, 28 Jan 2023 12:26:32 +0000 (UTC) Date: Sat, 28 Jan 2023 13:26:31 +0100 From: Julien Lepiller To: raingloom Subject: Re: [bug#59981] [PATCH v2 2/2] gnu: Remove explicit test-target arguments in ocaml.scm. Message-ID: <20230128132631.0b9e6a9b@sybil.lepiller.eu> In-Reply-To: <20221212000747.24632-2-raingloom@riseup.net> References: <20221212000747.24632-1-raingloom@riseup.net> <20221212000747.24632-2-raingloom@riseup.net> X-Mailer: Claws Mail 4.1.1 (GTK 3.24.30; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 59981 Cc: 59487-close@debbugs.gnu.org, 59981@debbugs.gnu.org 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: -1.0 (-) Closing since a similar patch was pushed already. Thanks!