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

MariaDb1027Platform class should be non-final #4909

Merged
merged 1 commit into from Oct 24, 2021
Merged

MariaDb1027Platform class should be non-final #4909

merged 1 commit into from Oct 24, 2021

Conversation

mvorisek
Copy link
Contributor

Q A
Type improvement
BC Break no
Fixed issues no

Summary

All other platform classes are non-final, MariaDb1027Platform should be non-final too.

@derrabus derrabus added this to the 2.13.5 milestone Oct 22, 2021
@morozov morozov merged commit 75fe763 into doctrine:2.13.x Oct 24, 2021
@mvorisek mvorisek deleted the patch-1 branch November 1, 2021 00:16
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Nov 1, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@derrabus derrabus derrabus approved these changes

Assignees
No one assigned
Labels
MariaDB
Projects
None yet
Milestone
2.13.5
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@mvorisek @derrabus @morozov