[pull] master from postgres:master#511

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

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