postgres.git / commit 8073cd2e6cda / discussion

(no discussion trailer on this commit and no emails cite its SHA)