Date: Tue, 12 Mar 2024 18:13:52 +0100 From: Thierry Thomas <thierry@freebsd.org> To: Guido Falsi <madpilot@freebsd.org>, Benjamin Jacobs <freebsd@dev.thsi.be> 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: <ZfCNUBd9KoLwGeLb@graf.pompo.net> In-Reply-To: <202403112151.42BLpbK0072146@gitrepo.freebsd.org> References: <202403112151.42BLpbK0072146@gitrepo.freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
--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 <madpilot@FreeBSD.org> =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 <freebsd@dev.thsi.be> > AuthorDate: 2024-03-11 21:43:46 +0000 > Commit: Guido Falsi <madpilot@FreeBSD.org> > 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--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?ZfCNUBd9KoLwGeLb>