Skip to content

Conversation

gregsdennis
Copy link
Member

Resolves #1276

I think I've captured the intent of comments in the issue. Happy to make adjustments.

Copy link
Member

@jdesrosiers jdesrosiers left a comment

Choose a reason for hiding this comment

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

lgtm

@gregsdennis gregsdennis merged commit 361cec1 into main Sep 30, 2023
@gregsdennis gregsdennis deleted the gregsdennis/failed-$ref-resolution branch September 30, 2023 00:19
@gregsdennis gregsdennis self-assigned this Sep 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Development

Successfully merging this pull request may close these issues.

Behavior around failed $ref resolution is not defined
3 participants