Skip to content

Recommend obtaining libedit instead of GNU Readline#3744

Merged
jimwins merged 1 commit into
php:masterfrom
petk:patch-libedit-url
Oct 16, 2024
Merged

Recommend obtaining libedit instead of GNU Readline#3744
jimwins merged 1 commit into
php:masterfrom
petk:patch-libedit-url

Conversation

@petk

@petk petk commented Sep 14, 2024

Copy link
Copy Markdown
Member

The GNU Readline library is GPL 3 licensed and incompatible with PHP license.

The GNU Readline library is GPL 3 licensed and incompatible with PHP
license.
@petk petk mentioned this pull request Sep 14, 2024
6 tasks

@cmb69 cmb69 left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

cc @remicollet

@jimwins jimwins merged commit 586809d into php:master Oct 16, 2024
@petk petk deleted the patch-libedit-url branch October 16, 2024 20:55
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.

3 participants