19 Pull requests merged by 1 person

• [pull] master from php:master

  #37 merged Jul 7, 2025

• [pull] master from php:master

  #36 merged Jul 6, 2025

• [pull] master from php:master

  #35 merged Jul 6, 2025

• [pull] master from php:master

  #34 merged Jul 6, 2025

• [pull] master from php:master

  #33 merged Jul 5, 2025

• [pull] master from php:master

  #32 merged Jul 5, 2025

• [pull] master from php:master

  #31 merged Jul 4, 2025

• [pull] master from php:master

  #30 merged Jul 4, 2025

• [pull] master from php:master

  #29 merged Jul 3, 2025

• [pull] master from php:master

  #28 merged Jul 3, 2025

• [pull] master from php:master

  #27 merged Jul 3, 2025

• [pull] master from php:master

  #26 merged Jul 2, 2025

• [pull] master from php:master

  #25 merged Jul 2, 2025

• [pull] master from php:master

  #24 merged Jul 2, 2025

• [pull] master from php:master

  #23 merged Jul 2, 2025

• [pull] master from php:master

  #22 merged Jul 1, 2025

• [pull] master from php:master

  #21 merged Jul 1, 2025

• [pull] master from php:master

  #20 merged Jun 30, 2025

• [pull] master from php:master

  #19 merged Jun 30, 2025