17 Pull requests merged by 1 person

• [pull] master from php:master

  #466 merged Jul 7, 2025

• [pull] master from php:master

  #465 merged Jul 6, 2025

• [pull] master from php:master

  #464 merged Jul 6, 2025

• [pull] master from php:master

  #463 merged Jul 6, 2025

• [pull] master from php:master

  #462 merged Jul 5, 2025

• [pull] master from php:master

  #461 merged Jul 5, 2025

• [pull] master from php:master

  #460 merged Jul 4, 2025

• [pull] master from php:master

  #459 merged Jul 4, 2025

• [pull] master from php:master

  #458 merged Jul 3, 2025

• [pull] master from php:master

  #457 merged Jul 3, 2025

• [pull] master from php:master

  #456 merged Jul 3, 2025

• [pull] master from php:master

  #455 merged Jul 2, 2025

• [pull] master from php:master

  #454 merged Jul 2, 2025

• [pull] master from php:master

  #453 merged Jul 2, 2025

• [pull] master from php:master

  #452 merged Jul 1, 2025

• [pull] master from php:master

  #451 merged Jul 1, 2025

• [pull] master from php:master

  #450 merged Jun 30, 2025