From b721e201a0bcf0f9e1795c295e134e47d698e80c Mon Sep 17 00:00:00 2001
From: Andrew Gierth <rhodiumtoad@postgresql.org>
Date: Sat, 11 May 2019 03:23:55 +0100
Subject: [PATCH] Fix editing error in floating-point docs.

My fault; the error was introduced in the Ryu patch.
---
 doc/src/sgml/datatype.sgml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/src/sgml/datatype.sgml b/doc/src/sgml/datatype.sgml
index 13b988077a..fc300f605f 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>