projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b2db22) | patch
doc: Fix type of cursor_position in jsonlog table
authorMichael Paquier <michael@paquier.xyz>
Tue, 25 Oct 2022 00:29:21 +0000 (09:29 +0900)
committerMichael Paquier <michael@paquier.xyz>
Tue, 25 Oct 2022 00:29:21 +0000 (09:29 +0900)
commitf186c7c88522c2c25b31566b4a5e00749ca7820c
treef624eda7987f6540012cbfcf6acb47b7f9065acbtree
parent3b2db22fe287d17ecb0ba4cd828dc7900dddd03fcommit | diff
doc: Fix type of cursor_position in jsonlog table

This entry was listed as a "string", but it is a "number.  The other
fields are correctly described, on a second look.

Reported-by: Nuko Yokohama
Author: Tatsuo Ishii
Discussion: https://postgr.es/m/CAF3Gu1awoVoDP5d0_eN=cR=QkGVwH+OtFvwJkkc5cB_ZMWjyeA@mail.gmail.com
Backpatch-through: 15
doc/src/sgml/config.sgml diff | blob | blame | history
This is the main PostgreSQL git repository.