On Fri, 30 Jan 2026 12:48:17 GMT, María Arias de Reyna Domínguez <duke at openjdk.org> wrote: > Updating the list of delivered JEPs. Yup, the page got updated correctly: https://openjdk.org/projects/leyden/ ------------- PR Comment: https://git.openjdk.org/leyden-docs/pull/5#issuecomment-3823968441