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

Add new pool option to XSD #955

Merged
merged 1 commit into from Apr 16, 2019

Conversation

alcaeus
Copy link
Member

@alcaeus alcaeus commented Apr 15, 2019

#948 added support for the pool option in the cache configuration, but this was never added to the schema. This PR adds the pool option to the XSD.

@alcaeus alcaeus added this to the 1.11.0 milestone Apr 15, 2019
@alcaeus alcaeus self-assigned this Apr 15, 2019
@alcaeus alcaeus merged commit 2fb807c into doctrine:master Apr 16, 2019
@alcaeus alcaeus deleted the add-missing-pool-option-xsd branch April 16, 2019 05:21
@alcaeus alcaeus added this to 1.11 in Roadmap Apr 17, 2019
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.

None yet

3 participants