Hi,
On 2019-09-30 16:27:27 -0300, Alvaro Herrera wrote:> On 2019-Sep-30, Andres Freund wrote:> > I'll reorder them.
Pushed.
Greetings,
Andres Freund