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

fix failure in deref #34

Merged
merged 1 commit into from
Nov 10, 2023
Merged

fix failure in deref #34

merged 1 commit into from
Nov 10, 2023

Conversation

farodin91
Copy link
Member

No description provided.

@farodin91 farodin91 force-pushed the fix-failure-in-deref branch from 02c6ee4 to c78e954 Compare November 10, 2023 12:33
Signed-off-by: Jan Jansen <[email protected]>
@farodin91 farodin91 force-pushed the fix-failure-in-deref branch from c78e954 to 90a07c2 Compare November 10, 2023 12:34
@farodin91 farodin91 merged commit cecdb2e into main Nov 10, 2023
2 checks passed
@farodin91 farodin91 deleted the fix-failure-in-deref branch November 10, 2023 12:40
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.

1 participant