latest patches not updated in repos

Hi, I am not sure whom I need to contact but the patches were not pushed to the repos as per release notes. https://www.postgresql.org/docs/release/ PostgreSQL: Release Notes 11th August 2022: PostgreSQL 14.5, 13.8, 12.12, 11.17, 10.22, and 15 Beta 3 Rel

Re: latest patches not updated in repos - [External Email]

Thank you. regards, Selwyn From: Devrim Gündüz Sent: Sunday, 14 August 2022 16:25 To: Tom Lane ; Graaff, Selwyn Cc: pgsql-hackers@lists.postgresql.org Subject: Re: latest patches not updated in repos - [External Email] Hi, On Sun, 2022-08-14 at 10:10 -0400