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