Skip to content

Use a published version of haphazard#43

Merged
ibraheemdev merged 1 commit intoibraheemdev:masterfrom
dpaoliello:haphazard
Sep 13, 2025
Merged

Use a published version of haphazard#43
ibraheemdev merged 1 commit intoibraheemdev:masterfrom
dpaoliello:haphazard

Conversation

@dpaoliello
Copy link
Copy Markdown
Contributor

Commit e0e18f60f78652a63aba235be854f87d106c1a1b of haphazard was included in the 0.1.5 release, so switch to the published crate instead of using a Git dependency.

@ibraheemdev ibraheemdev merged commit d489d05 into ibraheemdev:master Sep 13, 2025
13 checks passed
@dpaoliello dpaoliello deleted the haphazard branch September 15, 2025 18:19
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