On Wed, Jul 11, 2018 at 09:13:40AM -0400, Alvaro Herrera wrote: > I just pushed it before seeing your message.
Fine as well, thanks for picking this up. The buildfarm shows no failures about this patch. -- Michael
signature.asc
Description: PGP signature
