mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-21 05:46:59 +08:00
into a separate parallel group. I can't confirm that this fixes the problem for me (since it only occurs about one in ten or one in twenty runs), but I think it's a good bet that it does... Neil Conway