mirror of
https://github.com/EnterpriseDB/repmgr.git
synced 2026-03-23 15:16:29 +00:00
dd8204e013
Some of the more generically named functions are at risk of colliding with functions defined in other libraries. To mitigate that risk, prefix with "repmgr_", unless the name already has some reference to repmgr. This requires an extension version bump. RM20471.
8 lines
162 B
Plaintext
8 lines
162 B
Plaintext
# repmgr extension
|
|
comment = 'Replication manager for PostgreSQL'
|
|
default_version = '5.3'
|
|
module_pathname = '$libdir/repmgr'
|
|
relocatable = false
|
|
schema = repmgr
|
|
|