Skip to content

Conversation

germaino
Copy link
Contributor

@germaino germaino commented Mar 2, 2023

Change-Id: I86d3111165548069f40d119fc4d6787ba1aaaf40

Change-Id: I86d3111165548069f40d119fc4d6787ba1aaaf40
@germaino
Copy link
Contributor Author

Hello, Do you have an idea on when you plan to merge the PR, if you intend to do so ? thanks

@techknowlogick techknowlogick merged commit 057a0bc into cesanta:main May 5, 2023
@techknowlogick
Copy link
Collaborator

Thanks for this PR :)

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