On Tue, Jul 10, 2018 at 09:51:27AM -0400, Alvaro Herrera wrote: > On 2018-Jul-10, Michael Paquier wrote: > I say please push already. We can push more fixes later if they are > needed.
OK, I have pushed what I have now, with all the suggestions from upthread included. -- Michael
signature.asc
Description: PGP signature
