From: Andrew Gierth <rhodiumtoad@postgresql.org>
Date: Sat, 11 May 2019 02:23:55 +0000 (+0100)
Subject: Fix editing error in floating-point docs.
X-Git-Tag: REL_12_BETA1~78
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=b721e201a0bcf0f9e1795c295e134e47d698e80c;p=thirdparty%2Fpostgresql.git

Fix editing error in floating-point docs.

My fault; the error was introduced in the Ryu patch.
---

diff --git a/doc/src/sgml/datatype.sgml b/doc/src/sgml/datatype.sgml
index 13b988077a5..fc300f605f9 100644
--- a/doc/src/sgml/datatype.sgml
+++ b/doc/src/sgml/datatype.sgml
@@ -763,8 +763,8 @@ FROM generate_series(-3.5, 3.5, 1) as x;
     <note>
      <para>
       Applications that wanted precise values have historically had to set
-      <xref linkend="guc-extra-float-digits"/> to 3 obtain them. For maximum
-      compatibility between versions, they should continue to do so.
+      <xref linkend="guc-extra-float-digits"/> to 3 to obtain them. For
+      maximum compatibility between versions, they should continue to do so.
      </para>
     </note>