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

Copy link
Copy Markdown
Contributor

Fixes#561

PR submitter checklist

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

Labels

enhancementNew 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

@asgrim