Skip to content

[pull] master from php:master#87

Merged
pull[bot] merged 4 commits intoagxmaster:masterfrom
php:master
Dec 11, 2020
Merged

[pull] master from php:master#87
pull[bot] merged 4 commits intoagxmaster:masterfrom
php:master

Conversation

@pull
Copy link
Copy Markdown

@pull pull bot commented Dec 11, 2020

See Commits and Changes for more details.


Created by pull[bot]

Can you help keep this open source service alive? 💖 Please sponsor : )

nikic and others added 4 commits December 11, 2020 16:35
Following cmb's suggestion and replacing the counter with a check
against the bound_params HT, which ensures that both cannot go
out of sync.
* PHP-8.0:
  Fixed bug #79132
* PHP-8.0:
  Remove bug41347.phpt as the error cases are already tested
@pull pull bot added the ⤵️ pull label Dec 11, 2020
@pull pull bot merged commit 70c22de into agxmaster:master Dec 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants