Skip to content

Conversation

@GarethCOliver
Copy link
Contributor

Replacement for #481 as discussed in the working group call.

Resolves #535

Replacement for #481 as discussed in the working group call.

Resolves #535
Copy link
Contributor

@davidz25 davidz25 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, much cleaner than my PR - thanks Gareth!

Co-authored-by: Stefan Charsley <charsleysa@gmail.com>
Co-authored-by: Kristina <52878547+Sakurann@users.noreply.github.com>
@Sakurann
Copy link
Collaborator

wg discussion: ok to merge once @jogu re-reviews

@jogu jogu merged commit 2647b24 into main Apr 15, 2025
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Use cbor-to-json conversion (6.1) to provide the value matching

9 participants