Skip to content

Fix renamed elm package#2547

Merged
mergify[bot] merged 1 commit intomasterfrom
elm-deps
Mar 15, 2024
Merged

Fix renamed elm package#2547
mergify[bot] merged 1 commit intomasterfrom
elm-deps

Conversation

@eikek
Copy link
Copy Markdown
Owner

@eikek eikek commented Mar 15, 2024

No description provided.

@eikek eikek marked this pull request as ready for review March 15, 2024 08:31
@mergify mergify bot merged commit 93b5a3e into master Mar 15, 2024
@mergify mergify bot deleted the elm-deps branch March 15, 2024 08:32
@eikek eikek added webui WebUI issues chore labels May 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore webui WebUI issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant