Editorial extracts from PR 412

ietf-wg-jsonpath / draft-ietf-jsonpath-base

Development of a JSONPath internet draft

https://ietf-wg-jsonpath.github.io/draft-ietf-jsonpath-base/

Other

58 stars 20 forks source link

Editorial extracts from PR 412 #421

Closed glyn closed 1 year ago

glyn commented 1 year ago

These editorial changes from PR #412 are needed in the base.

glyn commented 1 year ago

These changes are probably needed, but a bit on the tedious side. Please see detailed comments.

I confess I tend to write tedious text when precision is at stake. Hopefully, the second commit avoids the tedium.

gregsdennis commented 1 year ago

Why was this merged so quickly?!

glyn commented 1 year ago

Why was this merged so quickly?!

We merged this editorial change quickly so we could rebase the other substantive PRs on it and put us in a better position to compare their pro's and con's.