Skip to content

Conversation

@MaxKellermann
Copy link
Contributor

A zend_extension_version_info is never written to.

A zend_extension_version_info is never written to.
@Girgias Girgias merged commit 7029fd0 into php:master Feb 20, 2023
@MaxKellermann MaxKellermann deleted the zend_extension_version_info_const branch March 7, 2023 12:00
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