On 2019-Sep-06, Alvaro Herrera from 2ndQuadrant wrote:
> I think you should get 0001 (+0002?) pushed and see what the buildfarm> thinks; move forward from there.
... but of course this goes counter to what you said earlier about 0001needing to be pushed last.
-- Álvaro Herrera https://www.2ndQuadrant.com/PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services