diff options
author | Domen Kožar <domen@dev.si> | 2021-11-15 07:57:46 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-15 07:57:46 -0600 |
commit | 164179983ef97dc51f2685e4f844a54e3fef4c84 (patch) | |
tree | 7ff46e344ba67db78b54ceaeefc390dca6d28b46 /.github/workflows | |
parent | ed33033926ebc7c28f3cbbfaa06a430a678f555f (diff) | |
parent | a50c027ece2dc853109c7d2c2f10dd6581e2554d (diff) |
Merge pull request #5428 from kreisys/add-pos-to-json-type-error
toJSON: report error position for fancier output
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions