diff options
| author | Michael Paquier <michael@paquier.xyz> | 2022-10-25 09:29:54 +0900 |
|---|---|---|
| committer | Michael Paquier <michael@paquier.xyz> | 2022-10-25 09:29:54 +0900 |
| commit | f975df7203607c51f2f6284b54e7394a33f575ed (patch) | |
| tree | 28538e2f4b48de7733eeecd20a4ae689e3d3e6df /src/tutorial | |
| parent | fb2a83b2b750a32ddfd107a75a3bc173f4f0a81f (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
Diffstat (limited to 'src/tutorial')
0 files changed, 0 insertions, 0 deletions