From fcea1e10904856bbc77b701a0195d0524b9705d6 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 aacdd360e0..c72b4c931e 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