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

Improve phpdoc for Configuration #9826

Merged
merged 2 commits into from
Jun 9, 2022

Conversation

greg0ire
Copy link
Member

@greg0ire greg0ire commented Jun 9, 2022

Regarding the second commit, see #9794 (comment)

@greg0ire greg0ire force-pushed the improve-phpdoc-configuration branch from eff2cb5 to 3aced47 Compare June 9, 2022 06:07
@greg0ire greg0ire changed the title Improve phpdoc from configuration Improve phpdoc for Configuration Jun 9, 2022
@greg0ire greg0ire force-pushed the improve-phpdoc-configuration branch from 3aced47 to f949b9d Compare June 9, 2022 06:09
@greg0ire greg0ire marked this pull request as ready for review June 9, 2022 06:15
@greg0ire greg0ire merged commit 9efeefb into doctrine:2.13.x Jun 9, 2022
@greg0ire greg0ire deleted the improve-phpdoc-configuration branch June 9, 2022 21:53
@greg0ire greg0ire added this to the 2.13.0 milestone Jun 9, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants