Skip to content

Revert "chore: reverts #722" - #744

Merged
Philip Gichuhi (Ndiritu) merged 1 commit into
masterfrom
revert-739-fix/unpin-hidi
Jan 2, 2025
Merged

Revert "chore: reverts #722"#744
Philip Gichuhi (Ndiritu) merged 1 commit into
masterfrom
revert-739-fix/unpin-hidi

Conversation

@andrueastman

Copy link
Copy Markdown
Contributor

Reverts #739

@Ndiritu
Philip Gichuhi (Ndiritu) merged commit abf7cf6 into master Jan 2, 2025
@Ndiritu
Philip Gichuhi (Ndiritu) deleted the revert-739-fix/unpin-hidi branch January 2, 2025 08:36
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