Skip to content
This repository was archived by the owner on Nov 3, 2021. It is now read-only.

Fix validation context for globals #77

Merged
merged 1 commit into from
Feb 3, 2020
Merged

Fix validation context for globals #77

merged 1 commit into from
Feb 3, 2020

Conversation

rossberg
Copy link
Member

@rossberg rossberg commented Feb 3, 2020

...as pointed out by @binji on #76.

@rossberg rossberg requested a review from binji February 3, 2020 13:13
@rossberg rossberg merged commit fc990e3 into master Feb 3, 2020
@rossberg rossberg deleted the c-prime branch February 3, 2020 19:13
rossberg pushed a commit that referenced this pull request May 14, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants