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.