Peter Eisentraut 976b06c663 Add another SQL/JSON error code
A code comment said that the standard does not define a number for
ERRCODE_SQL_JSON_ITEM_CANNOT_BE_CAST_TO_TARGET_TYPE, but this was
fixed in a later draft version of the standard, so use that number
now.
2022-07-18 14:26:43 +02:00
..
2022-07-18 14:26:43 +02:00
2022-07-08 14:05:05 +12:00
2022-01-07 19:04:57 -05:00
2022-07-13 09:15:01 +02:00