Hi, On 2019-07-20 12:58:55 -0700, Noah Misch wrote: > On Sat, Jul 20, 2019 at 12:56:34PM -0700, Andres Freund wrote: > > Fair enough. Are you planning to commit your changes? > > https://git.postgresql.org/gitweb/?p=postgresql.git;a=commitdiff;h=8a0cbb88524e8b6121597285b811640ee793b3e8
Oh, sorry for that. Still haven't fully cought up with things that happened while I was on vacation. Thanks.
