On Wed, Mar 27, 2019 at 6:27 PM Tomas Vondra
<tomas(dot)vondra(at)2ndquadrant(dot)com> wrote:
> It's a bit too late for pushing emergency fixes over here, so I'll do
> more testing tomorrow and then push.
The buildfarm is still almost all-red now. Can you estimate how long
it will take to push a fix?
--
Peter Geoghegan