Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Publish egui 0.31 #5623

Closed
emilk opened this issue Jan 21, 2025 · 2 comments
Closed

Publish egui 0.31 #5623

emilk opened this issue Jan 21, 2025 · 2 comments
Assignees
@emilk @lucasmerlin

Comments

@emilk
Copy link
Owner

emilk commented Jan 21, 2025 •
edited
Loading

RRs I want merged
@emilk emilk self-assigned this Jan 21, 2025
@emilk emilk added this to egui Jan 21, 2025
@torokati44 torokati44 mentioned this issue Jan 29, 2025
Open
@torokati44
Copy link
Contributor

If #5640 can be merged soon, that would probably also be nice to have IMHO.

@YgorSouza YgorSouza mentioned this issue Feb 2, 2025
Closed
@emilk
Copy link
Owner Author

emilk commented Feb 4, 2025

Released!

https://github.com/emilk/egui/releases/tag/0.31.0

@emilk emilk closed this as completed Feb 4, 2025
@github-project-automation github-project-automation bot moved this to Done in egui Feb 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@emilk emilk

@lucasmerlin lucasmerlin

Labels
None yet
Projects
egui
Status: Done
Milestone
No milestone
Development

No branches or pull requests
3 participants
@torokati44 @emilk @lucasmerlin