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

7.12.2 #4409

Merged
merged 2 commits into from
Aug 11, 2023
Merged

7.12.2 #4409

merged 2 commits into from
Aug 11, 2023

Conversation

Altahrim
Copy link

@Altahrim Altahrim commented Aug 11, 2023

v7.12.2 (2023-08-11)

Full Changelog

🐛 Fixed bugs

@Altahrim Altahrim added the 2. developing Work in progress label Aug 11, 2023
@Altahrim Altahrim self-assigned this Aug 11, 2023
Altahrim and others added 2 commits August 11, 2023 11:36
Signed-off-by: Benjamin Gaussorgues <[email protected]>
Signed-off-by: Ferdinand Thiessen <[email protected]>
Signed-off-by: Benjamin Gaussorgues <[email protected]>
@Altahrim Altahrim marked this pull request as ready for review August 11, 2023 09:38
@Altahrim Altahrim added 3. to review Waiting for reviews and removed 2. developing Work in progress labels Aug 11, 2023
@Altahrim Altahrim requested a review from skjnldsv August 11, 2023 09:38
@Altahrim Altahrim merged commit 0e372a5 into stable7 Aug 11, 2023
12 checks passed
@Altahrim Altahrim deleted the v7.12.2 branch August 11, 2023 09:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
3. to review Waiting for reviews
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants