EnterpriseDB / repmgr

A lightweight replication manager for PostgreSQL (Postgres)
https://repmgr.org/
Other
1.58k stars 252 forks source link

PostgreSQL v17 build error #863

Closed fmbiete closed 1 month ago

fmbiete commented 2 months ago

Definition moved to a different header.

Fixes #856

javsalgar commented 1 month ago

Hi!

Anything preventing this to be merged? cc @martinmarques @gonzalemario

gonzalemario commented 1 month ago

@javsalgar thanks for your contribution! could you please squash both commits into one please? During the tests we see lots of new warnings, most of them related with shadows and local vars but don't see how this change influence in them. lgtm to the change

fmbiete commented 1 month ago

@gonzalemario I think you meant me, the contributor... there you go, squashed into 1 commit

gonzalemario commented 1 month ago

@fmbiete oh sorry! yes, you're right :smile: thanks!