Hi,
On Thu, 2022-08-18 at 08:38 -0500, Justin Pryzby wrote:
> I don't know if the updated repo package with debuginfo is pushed
> (for rh7). I just had to manually add the pg15 debuginfo repo.
Oops. Great catch. Fix committed:
https://git.postgresql.org/gitweb/?p=pgrpms.git;a=commit;h=2a702c50c5e5ec21fc48daff2d227e17280e38e9
(Also fixed Fedora repo RPM as well). I'll release new set of repo rpms
along with some new packages later today.
Regards,
--
Devrim Gündüz
Open Source Solution Architect, Red Hat Certified Engineer
Twitter: @DevrimGunduz , @DevrimGunduzTR
