Skip to content

Conversation

@jprochazk
Copy link
Collaborator

No description provided.

@jprochazk jprochazk added dependencies Pull requests that update a dependency file egui_extras labels Dec 5, 2025
@github-actions
Copy link

github-actions bot commented Dec 5, 2025

Preview available at https://egui-pr-preview.github.io/pr/7757-janbump-ehttp
Note that it might take a couple seconds for the update to show up after the preview_build workflow has completed.

View snapshot changes at kitdiff

@emilk emilk merged commit 2174b30 into main Dec 6, 2025
49 of 50 checks passed
@emilk emilk deleted the jan/bump-ehttp branch December 6, 2025 10:33
emilk pushed a commit that referenced this pull request Dec 11, 2025
@emilk emilk mentioned this pull request Dec 11, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file egui_extras

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants