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