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