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