main/postgresql13: upgrade to 13.7

8 jobs for !34372 with postgresql13 in 48 minutes and 1 second (queued for 3 seconds)
merge request