On 2019-Jun-27, Tom Lane wrote:
> Alvaro Herrera <alvherre(at)2ndquadrant(dot)com> writes:
> > Pushed to 11 and master. Thanks!
>
> Don't actually see any push from here?
Sorry, that was a delayed email on which I had not yet pushed the "send"
keystroke. The push was yesterday.
--
Álvaro Herrera https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services