Skip to content

Conversation

mmalferov
Copy link
Member

No description provided.

@Girgias
Copy link
Member

Girgias commented Nov 19, 2024

@petk @cmb69 is this the correct/canonical URL?

@petk
Copy link
Member

petk commented Nov 19, 2024

This URL is being removed: #152

See also explanation here: php/php-src#13184

Otherwise, yes the GNU Readline library URL is the one updated in this PR.

@philip philip merged commit bd3c7d6 into php:master Feb 25, 2025
11 of 12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants