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

Clarify Requirement N37 #125

Merged
merged 3 commits into from
Dec 8, 2023
Merged

Clarify Requirement N37 #125

merged 3 commits into from
Dec 8, 2023

Conversation

aboba
Copy link
Collaborator

@aboba aboba commented Oct 19, 2023

Partial fix for #103


Preview | Diff

@aboba aboba requested review from jan-ivar, henbos and alvestrand and removed request for jan-ivar October 19, 2023 20:38
@aboba aboba added the December 5 VI For Discussion at November 2023 Virtual Interim label Oct 19, 2023
@aboba aboba requested a review from fippo October 19, 2023 20:55
index.html Outdated Show resolved Hide resolved
@dontcallmedom-bot
Copy link

@aboba aboba merged commit 3f51753 into main Dec 8, 2023
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
December 5 VI For Discussion at November 2023 Virtual Interim
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants