Could we get this pushed sooner rather than later?  The buildfarm
is showing a wide variety of intermittent failures on HEAD, and it's
hard to tell how many of them trace to this one bug.

                        regards, tom lane


Reply via email to