[pull] master from postgres:master#342

pull[bot] merged 4 commits intoMu-L:masterMu-L/postgres:masterfrom

postgres:masterpostgres/postgres:masterCopy head branch name to clipboard