Process changes to docs from: repo: EnterpriseDB/cloud-native-postgres ref: refs/tags/v1.25.7#7142

github-actions[bot] wants to merge 1 commit intodevelopEnterpriseDB/docs:developfrom

automatic_docs_update/repo_EnterpriseDB/cloud-native-postgres/ref_refs/tags/v1.25.7EnterpriseDB/docs:automatic_docs_update/repo_EnterpriseDB/cloud-native-postgres/ref_refs/tags/v1.25.7Copy head branch name to clipboard