Re: [PATCH] remove pg_standby

On 2020-11-21 20:41, Justin Pryzby wrote:
> On Fri, Nov 20, 2020 at 05:26:54PM +0100, Peter Eisentraut wrote:
>> On 2020-10-29 03:44, Justin Pryzby wrote:
>>> diff --git a/doc/src/sgml/contrib.sgml b/doc/src/sgml/contrib.sgml
>>> index 4e833d79ef..be4292ec33 100644
>>> --- a/doc/src/sgml/contrib.sgml
>>> +++ b/doc/src/sgml/contrib.sgml
>>> @@ -199,6 +199,5 @@ pages.
>>> part of the core <productname>PostgreSQL</productname> distribution.
>>> </para>
>>> - &pgstandby;
>>> </sect1>
>>> </appendix>
>>
>> With this removal, that section becomes empty. So you probably want to
>> clean up or reorganize this a bit.
>>
>> See https://www.postgresql.org/docs/devel/contrib-prog.html for the context.
>
> Oops. I guess I'd write something like this. If we just remove it, then
> there'd no place to add a new server application, and "client applications"
> would be the only subsection.

I have committed the typo fix. I don't have a well-formed opinion yet
about whether all the reservations about removing pg_standby have been
addressed.