Skip to content

Draft MoM 2023-01-31#17

Merged
jlurien merged 3 commits intomainfrom
jlurien-MoM-2023-01-31
Jan 31, 2023
Merged

Draft MoM 2023-01-31#17
jlurien merged 3 commits intomainfrom
jlurien-MoM-2023-01-31

Conversation

@jlurien
Copy link
Collaborator

@jlurien jlurien commented Jan 30, 2023

Draft agenda for WG meeting

Draft agenda for WG meeting
@jlurien
Copy link
Collaborator Author

jlurien commented Jan 31, 2023

@bigludo7 Please take a look and approve if OK

Copy link
Collaborator

@bigludo7 bigludo7 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks !

@jlurien jlurien merged commit ad0df23 into main Jan 31, 2023
@jlurien jlurien deleted the jlurien-MoM-2023-01-31 branch January 31, 2023 13:28
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.

2 participants