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.

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

Replace instant with web_time #3296

Merged
merged 1 commit into from
Sep 4, 2023
Merged

Replace instant with web_time #3296

merged 1 commit into from
Sep 4, 2023

Conversation

emilk
Copy link
Owner

@emilk emilk commented Sep 4, 2023

instant has at least one major bug:

It also hasn't been updated in 18 months.

web-time: https://github.com/daxpedda/web-time appears to achieve the same goals, but is under active development and notably doesn't have the bug that instant had.

@emilk emilk added dependencies Pull requests that update a dependency file egui-winit porblems related to winit exclude from changelog labels Sep 4, 2023
@emilk emilk merged commit 209cbeb into master Sep 4, 2023
36 of 37 checks passed
@emilk emilk deleted the emilk/web_time branch September 4, 2023 07:37
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-winit porblems related to winit exclude from changelog
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant