mirror of
https://github.com/postgres/postgres.git
synced 2025-06-06 00:02:36 -04:00
More useful state change for monitoring purposes, plus a required change for synchronous replication patch.
More useful state change for monitoring purposes, plus a required change for synchronous replication patch.