Skip to content

Are all constraints inherited? #1815

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Sep 22, 2022
Merged

Are all constraints inherited? #1815

merged 1 commit into from
Sep 22, 2022

Conversation

jnurthen
Copy link
Member

@jnurthen jnurthen commented Sep 22, 2022 •
edited by pr-preview bot
Loading

Fixes #1096

Preview | Diff

@pkra pkra merged commit 7314996 into main Sep 22, 2022
@pkra pkra deleted the jnurthen/issue1096 branch September 22, 2022 18:19
@pkra pkra added this to the ARIA 1.3 milestone Sep 22, 2022
github-actions bot added a commit that referenced this pull request Sep 22, 2022
@jnurthen @github-actions
Are all constraints inherited? (#1815)
363ffdc 
SHA: 7314996
Reason: push, by @pkra

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
pkra pushed a commit that referenced this pull request Sep 22, 2022
@jnurthen @pkra
Are all constraints inherited? (#1815)
23710bd 
Fixes #1096
jnurthen added a commit that referenced this pull request Oct 10, 2023
@jnurthen
Are all constraints inherited? (#1815)
fb7b9c3 
Fixes #1096
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@pkra pkra pkra approved these changes

@scottaohara scottaohara scottaohara approved these changes

@ariellalgilmore ariellalgilmore ariellalgilmore approved these changes

Assignees
No one assigned
Labels
merged to stable
Projects
None yet
Milestone
2023
Development

Successfully merging this pull request may close these issues.

Are all constraints inherited?
4 participants
@jnurthen @pkra @scottaohara @ariellalgilmore