Skip to content
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.

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

spec: Update to a renaming in fenced frame spec, to fix build. #1261

Merged
merged 1 commit into from
Aug 27, 2024

Conversation

morlovich
Copy link
Collaborator

@morlovich morlovich commented Aug 27, 2024

@morlovich morlovich added the spec Relates to the spec label Aug 27, 2024
@morlovich morlovich changed the title Update to a renaming in fenced frame spec, to fix build. spec: Update to a renaming in fenced frame spec, to fix build. Aug 27, 2024
@JensenPaul JensenPaul merged commit 7717cd1 into WICG:main Aug 27, 2024
2 checks passed
github-actions bot added a commit that referenced this pull request Aug 27, 2024
SHA: 7717cd1
Reason: push, by JensenPaul

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions bot added a commit to morlovich/turtledove that referenced this pull request Aug 27, 2024
SHA: 7717cd1
Reason: push, by morlovich

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@morlovich morlovich deleted the fix-sandbox-refs branch August 27, 2024 15:13
github-actions bot added a commit to qingxinwu/turtledove that referenced this pull request Aug 28, 2024
SHA: 7717cd1
Reason: push, by qingxinwu

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
spec Relates to the spec
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants