Skip to content

541: replace some common placeholders before build - #580

Merged
asgrim merged 2 commits into
php:1.5.xfrom
asgrim:541-replace-placeholders
Apr 14, 2026
Merged

541: replace some common placeholders before build#580
asgrim merged 2 commits into
php:1.5.xfrom
asgrim:541-replace-placeholders

Conversation

@asgrim

@asgrim asgrim commented Apr 13, 2026

Copy link
Copy Markdown
Contributor

PR submitter checklist

@asgrim asgrim added this to the 1.5.0 milestone Apr 13, 2026
@asgrim asgrim self-assigned this Apr 13, 2026
@asgrim asgrim added the enhancement New feature or request label Apr 13, 2026
@asgrim asgrim mentioned this pull request Apr 13, 2026
@asgrim
asgrim enabled auto-merge April 14, 2026 06:49
@asgrim
asgrim merged commit cf3bdc4 into php:1.5.x Apr 14, 2026
24 checks passed
@asgrim
asgrim deleted the 541-replace-placeholders branch April 14, 2026 07:43
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.

1 participant