docs: adjust PG 12 floating point item
Reported-by: Andrew Gierth
Discussion: https://postgr.es/m/87r295hjur.fsf@news-spur.riddles.org.uk
Branch
------
master
Details
-------
https://git.postgresql.org/pg/commitdiff/0edc8fc47bc4482ceac85b09575d6372dbbc0bbf
Modified Files
--------------
doc/src/sgml/release-12.sgml | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)