22 Pull requests merged by 1 person

• [pull] master from postgres:master

  #1021 merged Jul 5, 2025

• [pull] master from postgres:master

  #1020 merged Jul 4, 2025

• [pull] master from postgres:master

  #1019 merged Jul 4, 2025

• [pull] master from postgres:master

  #1018 merged Jul 4, 2025

• [pull] master from postgres:master

  #1017 merged Jul 3, 2025

• [pull] master from postgres:master

  #1016 merged Jul 3, 2025

• [pull] master from postgres:master

  #1015 merged Jul 3, 2025

• [pull] master from postgres:master

  #1014 merged Jul 3, 2025

• [pull] master from postgres:master

  #1013 merged Jul 2, 2025

• [pull] master from postgres:master

  #1012 merged Jul 2, 2025

• [pull] master from postgres:master

  #1011 merged Jul 2, 2025

• [pull] master from postgres:master

  #1010 merged Jul 2, 2025

• [pull] master from postgres:master

  #1009 merged Jul 1, 2025

• [pull] master from postgres:master

  #1008 merged Jul 1, 2025

• [pull] master from postgres:master

  #1007 merged Jul 1, 2025

• [pull] master from postgres:master

  #1006 merged Jul 1, 2025

• [pull] master from postgres:master

  #1005 merged Jun 30, 2025

• [pull] master from postgres:master

  #1004 merged Jun 30, 2025

• [pull] master from postgres:master

  #1003 merged Jun 30, 2025

• [pull] master from postgres:master

  #1002 merged Jun 30, 2025

• [pull] master from postgres:master

  #1001 merged Jun 29, 2025

• [pull] master from postgres:master

  #1000 merged Jun 28, 2025