From nobody Tue Mar 12 17:13:52 2024 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TvKxQ0nZ1z5F9dK; Tue, 12 Mar 2024 17:14:02 +0000 (UTC) (envelope-from thierry@pompo.net) Received: from erza.lautre.net (erza.lautre.net [80.67.160.89]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "lautre.net", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4TvKxP5w7Yz46Jm; Tue, 12 Mar 2024 17:14:01 +0000 (UTC) (envelope-from thierry@pompo.net) Authentication-Results: mx1.freebsd.org; none Received: from graf.pompo.net (graf.pompo.net [82.66.0.218]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by erza.lautre.net (Postfix) with ESMTPSA id E3382EA4EE; Tue, 12 Mar 2024 18:13:52 +0100 (CET) Received: by graf.pompo.net (Postfix, from userid 1001) id 8D673237F78; Tue, 12 Mar 2024 18:13:52 +0100 (CET) Date: Tue, 12 Mar 2024 18:13:52 +0100 From: Thierry Thomas To: Guido Falsi , Benjamin Jacobs Cc: ports-committers@freebsd.org, dev-commits-ports-all@freebsd.org, dev-commits-ports-main@freebsd.org Subject: Re: git: 8025aa10ceb9 - main - lang/ocaml: Update to 4.14.1 Message-ID: Mail-Followup-To: Guido Falsi , Benjamin Jacobs , ports-committers@freebsd.org, dev-commits-ports-all@freebsd.org, dev-commits-ports-main@freebsd.org References: <202403112151.42BLpbK0072146@gitrepo.freebsd.org> List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@freebsd.org MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="6xoVQGGcwlfz311i" Content-Disposition: inline In-Reply-To: <202403112151.42BLpbK0072146@gitrepo.freebsd.org> X-Operating-System: FreeBSD 14.0-STABLE amd64 Organization: Kabbale Eros X-Face: (hRbQnK~Pt7$ct`!fupO(`y_WL4^-Iwn4@ly-.,[4xC4xc;y=\ipKMNm<1J>lv@PP~7Z<.tKjAnXLs: X-PGP: 0xF1C516B3C8359753 X-Spamd-Bar: ---- X-Rspamd-Pre-Result: action=no action; module=replies; Message is reply to one we originated X-Spamd-Result: default: False [-4.00 / 15.00]; REPLY(-4.00)[]; ASN(0.00)[asn:20766, ipnet:80.67.160.0/19, country:FR] X-Rspamd-Queue-Id: 4TvKxP5w7Yz46Jm --6xoVQGGcwlfz311i Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Le lun. 11 mars 24 =E0 22:51:37 +0100, Guido Falsi =E9crivait=A0: > The branch main has been updated by madpilot: >=20 > URL: https://cgit.FreeBSD.org/ports/commit/?id=3D8025aa10ceb960b62c9a826f= b56eb1ac68ea1ce3 >=20 > commit 8025aa10ceb960b62c9a826fb56eb1ac68ea1ce3 > Author: Benjamin Jacobs > AuthorDate: 2024-03-11 21:43:46 +0000 > Commit: Guido Falsi > CommitDate: 2024-03-11 21:50:58 +0000 >=20 > lang/ocaml: Update to 4.14.1 Congratulations! --=20 Th. Thomas. --6xoVQGGcwlfz311i Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJ8BAEBCgBmBQJl8I1QXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXRFNTM2QkU4NTM4NTM5OUQwMEI2RkFBNzZG MUM1MTZCM0M4MzU5NzUzAAoJEPHFFrPINZdTuOIP/3XH/lstd1jsPbWhEk4oGEp/ pDYKX1kmXQ3a6lPLsJUV/QCZBeGPVrK8TQK+7MWtGJ4NDWHUxwGDeZyKf+g0MLPS Dz2YVS/8leP219ChptYcn67l0WWDBQhZPJZb6qXlouLTI2chmKjAzoObGHKZjnQ5 mDTgAI791Ytwgnmd1P47kc9c/C+tuiv6dQiZOFn6wlnMx/8VnT4RHwDIm+EYaWAt hCyXo0HiSdfXbpus5DPRVzNB6RJuX/e1aAOoMwK1BP73fFmewDGH0JFaPi3bxF7F 1m4vq3w350P30e4b4X6YT/v8pdFk8xwPBxqLUV+5+2Z1v37XHHy784f3w4hRpLDV TiIetCKSunqhWs1a4paMJ2uW1Qc8raKG7fxWDMlVODKmuT2a1u7VbgG6veTC5dsq ITcXDBfeK3O51Pl7AIadxXtat39i2Ze2B6PK+vWsIoSt3t64+29TQbg3ieuiun+I LPl257yBmm073c1369yYI8ldGBWZZlJ91MBM0kMxrNbgVMkOA8/xoJQUT9b/auwz NIvI44K1DXXlt5PMB1Gx3R/VGghKC9YxOGLTcHt7uS1+O4B2NsMZOeuUHhsxUT8q 44F5M7gepUry6j0RBmD6kZrOz9JXdmEtzA8tgDS/U3sYeK1rSdBnKilIQkC2Vnje Ss2Rn+Ko0AnrYAEZiMJ/ =aIev -----END PGP SIGNATURE----- --6xoVQGGcwlfz311i--