Skip to content

Various simple fixes#2866

Merged
ericwindmill merged 1 commit into
mainfrom
ew-various-patches
Jun 19, 2026
Merged

Various simple fixes#2866
ericwindmill merged 1 commit into
mainfrom
ew-various-patches

Conversation

@ericwindmill

Copy link
Copy Markdown
Collaborator

Replace this paragraph with a description of what this PR is changing or adding, and why. Consider including before/after screenshots.

List which issues are fixed by this PR. For larger changes, raising an issue first helps
reduce redundant work.

Pre-launch Checklist

If you need help, consider asking for advice on the #hackers-devrel channel on Discord.

@ericwindmill ericwindmill merged commit d9a2b78 into main Jun 19, 2026
8 checks passed
@ericwindmill ericwindmill deleted the ew-various-patches branch June 19, 2026 21:54
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