Skip to content

Conversation

@annevk
Copy link
Member

@annevk annevk commented Jun 15, 2023

See whatwg/webidl#1311 for context.


Preview | Diff

@Djuffin Djuffin marked this pull request as ready for review June 15, 2023 20:21
@annevk
Copy link
Member Author

annevk commented Jun 16, 2023

This is ready and works in Bikeshed specifications. This is the only downstream specification using ReSpec and I can't really help with that but hopefully you know someone who can.

@padenot
Copy link
Collaborator

padenot commented Jun 16, 2023

Oh but we're using bikeshed, so I guess this can go in? Is this supposed to be linkified eventually?

@annevk
Copy link
Member Author

annevk commented Jun 16, 2023

Oh sorry, I was confused. I triggered PR Preview so you can see it in action now.

@aboba aboba merged commit fb21d67 into w3c:main Jun 22, 2023
github-actions bot added a commit that referenced this pull request Jun 22, 2023
SHA: fb21d67
Reason: push, by aboba

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions bot added a commit that referenced this pull request Jun 22, 2023
SHA: fb21d67
Reason: push, by aboba

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions bot added a commit that referenced this pull request Jun 22, 2023
SHA: fb21d67
Reason: push, by aboba

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions bot added a commit that referenced this pull request Jun 22, 2023
SHA: fb21d67
Reason: push, by aboba

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions bot added a commit that referenced this pull request Jun 22, 2023
SHA: fb21d67
Reason: push, by aboba

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions bot added a commit that referenced this pull request Jun 22, 2023
SHA: fb21d67
Reason: push, by aboba

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions bot added a commit that referenced this pull request Jun 22, 2023
SHA: fb21d67
Reason: push, by aboba

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions bot added a commit that referenced this pull request Jun 22, 2023
SHA: fb21d67
Reason: push, by aboba

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions bot added a commit that referenced this pull request Jun 22, 2023
SHA: fb21d67
Reason: push, by aboba

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions bot added a commit that referenced this pull request Jun 22, 2023
SHA: fb21d67
Reason: push, by aboba

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions bot added a commit that referenced this pull request Jun 22, 2023
SHA: fb21d67
Reason: push, by aboba

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions bot added a commit that referenced this pull request Jun 22, 2023
SHA: fb21d67
Reason: push, by aboba

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions bot added a commit that referenced this pull request Jun 22, 2023
SHA: fb21d67
Reason: push, by aboba

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions bot added a commit that referenced this pull request Jun 22, 2023
SHA: fb21d67
Reason: push, by aboba

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
github-actions bot added a commit that referenced this pull request Jun 22, 2023
SHA: fb21d67
Reason: push, by aboba

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@annevk annevk deleted the annevk/allowshared branch June 22, 2023 17:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants