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

Add additional tagged issues #630

Merged
merged 1 commit into from
Aug 6, 2024
Merged

Conversation

wseltzer
Copy link
Collaborator

@wseltzer wseltzer commented Aug 6, 2024

Additional issues per #623 (review)


Preview | Diff

Additional issues per #623 (review)
@wseltzer wseltzer requested a review from samuelgoto August 6, 2024 17:22
@wseltzer wseltzer merged commit da3e25a into wseltzer-patch-1 Aug 6, 2024
2 checks passed
@wseltzer wseltzer deleted the wseltzer-patch-3 branch August 6, 2024 17:48
@wseltzer
Copy link
Collaborator Author

wseltzer commented Aug 6, 2024

merged as between two of my own branches, still unmerged to main

wseltzer added a commit that referenced this pull request Aug 14, 2024
* Add list of FPWD critical issues

List the issues that, cefore publication of the FPWD, the WG and CG identified to be considered before CR publication.

* Update spec/index.bs

Accept MT's changes

Co-authored-by: Martin Thomson <mt@lowentropy.net>

* Update index.bs per 30 July WG call

s/resolved/formally addressed/

* Add to issue list (#630)

Additional issues per #623 (review)

---------

Co-authored-by: Martin Thomson <mt@lowentropy.net>
npm1 pushed a commit that referenced this pull request Sep 18, 2024
* Add list of FPWD critical issues

List the issues that, cefore publication of the FPWD, the WG and CG identified to be considered before CR publication.

* Update spec/index.bs

Accept MT's changes

Co-authored-by: Martin Thomson <mt@lowentropy.net>

* Update index.bs per 30 July WG call

s/resolved/formally addressed/

* Add to issue list (#630)

Additional issues per #623 (review)

---------

Co-authored-by: Martin Thomson <mt@lowentropy.net>
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.

1 participant