Skip to content

Conversation

@willstranton
Copy link
Contributor

This is what I could gather from reading the code.

@zandbelt
Copy link
Member

this is very welcome, thank you

@willstranton
Copy link
Contributor Author

Is there anything additional needed here? I was wondering when this pull request would move to the next step (either merged, rejected, delayed or something else?).

@zandbelt zandbelt merged commit 441c129 into OpenIDC:master Dec 5, 2025
1 check passed
@zandbelt
Copy link
Member

zandbelt commented Dec 5, 2025

apologies, I dropped the ball on this: thank you very much for your contribution!

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