From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 28 07:23:36 2023 Received: (at 59488-close) by debbugs.gnu.org; 28 Jan 2023 12:23:36 +0000 Received: from localhost ([127.0.0.1]:39755 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pLkF6-0000uj-IH for submit@debbugs.gnu.org; Sat, 28 Jan 2023 07:23:36 -0500 Received: from lepiller.eu ([89.234.186.109]:50504) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pLkF4-0000uZ-EN for 59488-close@debbugs.gnu.org; Sat, 28 Jan 2023 07:23:34 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id d2502ac9; Sat, 28 Jan 2023 12:23:32 +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=+9nOmUGgv+SS r+zb9DY7wS3hLvjoCXP2kpBcE6p+L2Q=; b=LXqQAZVqPSC6maSsCmCelJCubXu7 NciNITnYfWOFMiIy5/Hz7TK80/1WHFHXeTDIvaA8jDwJjJ1d/7N5RUEZkgOqtTE2 GD2jhyPSZfKXb73MKqf5iDGJ2QvDL8XVXgV1B4uFFikNm8ywWSsKYxdkNth9ApHd +1VREN7ayApm2e3udhn6FXDBSTtDFLAydaOlfXL/iqPszGhTPxTcPEzbRcThf5Ys HjJjJI+T+QfoEk3fXIwn7pvML15wL1mh7aBnXtQhRnsoYqim5Ybl+W2oSMy4drnk 7v+H8oELhr3hMAoGhWF0GfXKMzInnlLbHc3xpN0wz0cVAHKJBMvEPa6QiQ== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 5a571305 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO); Sat, 28 Jan 2023 12:23:32 +0000 (UTC) Date: Sat, 28 Jan 2023 13:23:29 +0100 From: Julien Lepiller To: raingloom Subject: Re: [bug#59488] [PATCH 2/2] gnu: Remove explicit test-target arguments in ocaml.scm. Message-ID: <20230128132329.29a971ac@sybil.lepiller.eu> In-Reply-To: <20221122194712.31515-2-raingloom@riseup.net> References: <20221122194712.31515-1-raingloom@riseup.net> <20221122194712.31515-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: 59488-close Cc: 59488-close@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 already pushed. Thanks.