doc: Fix formatting typo
authorPeter Eisentraut
Thu, 18 Jun 2020 01:22:26 +0000 (03:22 +0200)
committerPeter Eisentraut
Thu, 18 Jun 2020 01:22:26 +0000 (03:22 +0200)
commitf2236d087eb8df9f15c016c02c92aa2bed7c2889
tree273c0f1b3e7fee659eba7353634f652cb2499448
parent484a57643e02b7df2bb9085603772b33511c6668
doc: Fix formatting typo
doc/src/sgml/release-13.sgml