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