Skip to content

561: pie upgrade feature#666

Merged
asgrim merged 4 commits into
php:1.5.xfrom
asgrim:561-pie-upgrade-all
Jul 13, 2026
Merged

561: pie upgrade feature#666
asgrim merged 4 commits into
php:1.5.xfrom
asgrim:561-pie-upgrade-all

Conversation

@asgrim

@asgrim asgrim commented Jul 9, 2026

Copy link
Copy Markdown
Contributor

Fixes #561

PR submitter checklist

@asgrim asgrim added this to the 1.5.0 milestone Jul 9, 2026
@asgrim asgrim self-assigned this Jul 9, 2026
@asgrim asgrim added the enhancement New feature or request label Jul 9, 2026
@asgrim asgrim merged commit eadea47 into php:1.5.x Jul 13, 2026
31 checks passed
@asgrim asgrim deleted the 561-pie-upgrade-all branch July 13, 2026 18:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

PIE feature: pie upgrade to upgrade installed extensions

1 participant