Skip to content

Conversation

@u7f8au7fbd
Copy link
Contributor

I have adapted the changes from August 9 to today.

@embeddedt embeddedt merged commit 37724d7 into embeddedt:1.16 Aug 19, 2023
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