Skip to content

Conversation

@pull
Copy link

@pull pull bot commented Sep 12, 2025

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.3)

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

TimWolla and others added 9 commits September 12, 2025 20:53
* PHP-8.3:
  curl: Fix cloning of POST fields (#19813)
* PHP-8.4:
  curl: Fix cloning of POST fields (#19813)
* PHP-8.3:
  [skip ci] Add missing name for GH-19813 in NEWS
* PHP-8.4:
  [skip ci] Add missing name for GH-19813 in NEWS
This will also fix a memory leak, since the constructor did not free any
pre-existing `->uri`.
Updates UCD to Unicode 17.0 (released 2025 Sep).
@pull pull bot locked and limited conversation to collaborators Sep 12, 2025
@pull pull bot added the ⤵️ pull label Sep 12, 2025
@pull pull bot merged commit edc2671 into wudi:master Sep 12, 2025
7 of 8 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants