postgres.git / commit 7c19f9d139e7 / discussion (no discussion trailer on this commit and no emails cite its SHA)