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

release: 4.0.0 #804

Merged

ee7 merged 1 commit into main from release-4.0.0

Sep 5, 2024

Member

ee7 commented Aug 18, 2023 •

edited

Loading

Closes: #524

To-do:

Finish and merge generate: make interface consistent with sync and fmt #619

Note:

open issues labelled as priority: high
open issues labelled as kind: bug


          release: 4.0.0

79d1e59

ee7 force-pushed the release-4.0.0 branch from f728d24 to 79d1e59 Compare

September 5, 2024 10:09

ErikSchierboom approved these changes

View reviewed changes

ee7 marked this pull request as ready for review

September 5, 2024 19:09

ee7 merged commit 3c21594 into main

15 checks passed

ee7 deleted the release-4.0.0 branch

September 5, 2024 19:10

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet