Re: jsonlog cursor_position type is wrong.

Tatsuo Ishii <ishii@sraoss.co.jp> writes:
>> PostgreSQL document In "Table 20.3. Keys and Values of JSON Log Entries",
>> "Type" in cursor_position should be "number", not "Sting".
>> https://www.postgresql.org/docs/current/runtime-config-logging.html#RUNTIME-CONFIG-LOGGING-JSONLOG-KEYS-VALUES

> Yeah, that's a typo. Patch attached.

Shouldn't it be "integer"?

            regards, tom lane