mirror of
https://github.com/EnterpriseDB/repmgr.git
synced 2026-03-22 22:56:29 +00:00
Re-add $(LIBS), previously removed in 9d7eebef.
While not required for internal builds, per GitHub #755 this may be
required in some environments.
3.5 KiB
3.5 KiB