On Mon, Jul 19, 2021 at 12:59:10PM +0200, Laurenz Albe wrote:
> On Fri, 2021-07-16 at 22:00 -0700, Nikolay Samokhvalov wrote:
> > diff --git a/doc/src/sgml/indices.sgml b/doc/src/sgml/indices.sgml
> > index
> > 671299ff059d972ff95bdb1d67ed4c89bf5040b2..c7eaf9a608e995ef9957b4e0f677b36a8303be55
> >
On Fri, 2021-07-16 at 22:00 -0700, Nikolay Samokhvalov wrote:
> diff --git a/doc/src/sgml/indices.sgml b/doc/src/sgml/indices.sgml
> index
> 671299ff059d972ff95bdb1d67ed4c89bf5040b2..c7eaf9a608e995ef9957b4e0f677b36a8303be55
> 100644
> --- a/doc/src/sgml/indices.sgml
> +++ b/doc/src/sgml/indices.s