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