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

version 4.13.0 #2027

Merged
merged 1 commit into from
Sep 24, 2023
Merged

version 4.13.0 #2027

merged 1 commit into from
Sep 24, 2023

Conversation

ildyria
Copy link
Member

@ildyria ildyria commented Sep 23, 2023

Just packing the latest changes.

@ildyria ildyria added this to the 4.13 milestone Sep 23, 2023
@ildyria ildyria requested a review from a team September 23, 2023 20:50
@ildyria ildyria added the Review: easy Easy review expected: probably just need a quick to go through. label Sep 23, 2023
@codecov
Copy link

codecov bot commented Sep 23, 2023

Codecov Report

Merging #2027 (fb94016) into master (7111f65) will decrease coverage by 0.25%.
The diff coverage is n/a.

Additional details and impacted files

@ildyria ildyria merged commit a87d2e2 into master Sep 24, 2023
@ildyria ildyria deleted the v4.13.0 branch September 24, 2023 14:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Review: easy Easy review expected: probably just need a quick to go through.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants