Re: Changing "Hot Standby" to "hot standby"

Daniel Westermann (DWE) <daniel.westermann@dbi-services.com>

From: "Daniel Westermann (DWE)" <daniel.westermann@dbi-services.com>

To: Robert Treat <rob@xzilla.net>

Cc: Kyotaro Horiguchi <horikyota.ntt@gmail.com>, "aleksander@timescale.com" <aleksander@timescale.com>, "pgsql-hackers@lists.postgresql.org" <pgsql-hackers@lists.postgresql.org>

Date: 2022-03-09T07:45:32Z

Lists: pgsql-hackers

Attachments

align_hot_standby_v4.patch (text/x-patch) patch v4

>I think one more small change...

>    A standby server can also be used for read-only queries, in which case
>-   it is called a Hot Standby server. See <xref linkend="hot-standby"/> for
>+   it is called a hot standby server. See <xref linkend="hot-standby"/> for
>    more information.

>    A standby server can also be used for read-only queries, in which case
>-   it is called a Hot Standby server. See <xref linkend="hot-standby"/> for
>+   it is called a <firstterm>hot standby</firstterm> server. See
><xref linkend="hot-standby"/> for
>    more information.

Thanks for having a look. Done that way.

Regards
Daniel

Commits

doc: Standardize capitalization of term "hot standby"/"Hot Standby"
- 9198e6399664 15.0 landed