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

bump version to 2.0.10 #7619

Merged
merged 1 commit into from
Feb 19, 2024
Merged

bump version to 2.0.10 #7619

merged 1 commit into from
Feb 19, 2024

Conversation

arvidn
Copy link
Owner

@arvidn arvidn commented Feb 19, 2024

No description provided.

@arvidn arvidn mentioned this pull request Feb 19, 2024
Closed
@arvidn arvidn merged commit 74bc93a into RC_2_0 Feb 19, 2024
42 checks passed
@arvidn arvidn deleted the bump-2.0.10 branch February 19, 2024 12:14
@glassez
Copy link
Contributor

glassez commented Feb 19, 2024

@arvidn
BTW, we once discussed the issue that it is much more convenient for application developers you change the version in sources immediately after the release, rather than immediately before. That is, as soon as you release version 2.0.10, the sources should be changed to contain the next one.

@arvidn
Copy link
Owner Author

arvidn commented Feb 19, 2024

#7621

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@arvidn @glassez