Skip site navigation (1)Skip section navigation (2)
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>

index | next in thread | previous in thread | raw e-mail

[-- Attachment #1 --]
Le lun. 11 mars 24 à 22:51:37 +0100, Guido Falsi <madpilot@FreeBSD.org>
 écrivait :

> The branch main has been updated by madpilot:
> 
> URL: https://cgit.FreeBSD.org/ports/commit/?id=8025aa10ceb960b62c9a826fb56eb1ac68ea1ce3
> 
> 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
> 
>     lang/ocaml: Update to 4.14.1

Congratulations!
-- 
Th. Thomas.

[-- Attachment #2 --]
-----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-----
home | help

Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?ZfCNUBd9KoLwGeLb>