postgres-github.git / commit 972c14fb9134 / discussion (no discussion trailer on this commit and no emails cite its SHA)