Skip to content

Collect statistics from pg_stat_subscription (PostgreSQL 12+)#110

Merged
cherts merged 14 commits intomasterfrom
dev-pg_stat_subscription
May 29, 2025
Merged

Collect statistics from pg_stat_subscription (PostgreSQL 12+)#110
cherts merged 14 commits intomasterfrom
dev-pg_stat_subscription

Conversation

@cherts
Copy link
Owner

@cherts cherts commented Feb 25, 2025

No description provided.

@cherts cherts marked this pull request as ready for review May 29, 2025 08:58
@cherts cherts merged commit a88af95 into master May 29, 2025
2 checks passed
@cherts cherts deleted the dev-pg_stat_subscription branch May 29, 2025 12:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant