From aa47fa8532effa95cb9ca6dbd2baba8a620bf67e Mon Sep 17 00:00:00 2001 From: Alvaro Herrera Date: Mon, 21 Jan 2019 14:41:44 -0300 Subject: [PATCH] Add 'id' to Acknowledgments section Per note from Erik Rijkers Discussion: https://postgr.es/m/3db724af16ee009ab7f812a6a1d9354e@xs4all.nl --- doc/src/sgml/release-10.sgml | 2 +- doc/src/sgml/release-11.sgml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/src/sgml/release-10.sgml b/doc/src/sgml/release-10.sgml index de7779f622..9deab950ce 100644 --- a/doc/src/sgml/release-10.sgml +++ b/doc/src/sgml/release-10.sgml @@ -8990,7 +8990,7 @@ This was disabled in the PG 9.6 branch so there is no commit here. - + Acknowledgments diff --git a/doc/src/sgml/release-11.sgml b/doc/src/sgml/release-11.sgml index b129d32264..09b80b8af5 100644 --- a/doc/src/sgml/release-11.sgml +++ b/doc/src/sgml/release-11.sgml @@ -3633,7 +3633,7 @@ same commits as above - + Acknowledgments