doc: Fix typo
authorPeter Eisentraut <peter@eisentraut.org>
Wed, 15 Jul 2020 19:01:29 +0000 (21:01 +0200)
committerPeter Eisentraut <peter@eisentraut.org>
Wed, 15 Jul 2020 19:01:29 +0000 (21:01 +0200)
commit6b5ca893f737184a8113aee33c6c10b1c3bbcd39
tree26d8be0011b4087036cdb4ef9aab91117ff001ed
parent5f89bb4cf0109bdb36eb8f78943f5b0f141c614a
doc: Fix typo
doc/src/sgml/release-13.sgml