Skip to content

Release v4.9.3 #1077

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

Merged
2 commits merged into from
Mar 25, 2024
Merged

Release v4.9.3 #1077

2 commits merged into from
Mar 25, 2024

Conversation

Zabuzard
Copy link
Member

Removing helper-pruning which is now hopefully obsolete. Discord fixed the underlying issue 6 months ago 🤞

Features:

Platform:

christolis and others added 2 commits March 25, 2024 08:50
* the original issue was fixed by discord, so the routine is not needed anymore
* changes the config, removes entry "helperPruneConfig"
@Zabuzard Zabuzard added the release Marks official releases and talks about them, i.e. merges from develop to master label Mar 25, 2024
@Zabuzard Zabuzard self-assigned this Mar 25, 2024
@Zabuzard Zabuzard requested a review from a team as a code owner March 25, 2024 08:24
@Zabuzard Zabuzard closed this pull request by merging all changes into master in a11088e Mar 25, 2024
Copy link

Quality Gate Passed Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
No data about Coverage
No data about Duplication

See analysis details on SonarCloud

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release Marks official releases and talks about them, i.e. merges from develop to master
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants