On Tue, Feb 6, 2018 at 12:39 PM, Robert Haas <robertmh...@gmail.com> wrote: > Yeah, let's get them all into one list and I'll commit the whole thing > together.
+1 -- Peter Geoghegan
On Tue, Feb 6, 2018 at 12:39 PM, Robert Haas <robertmh...@gmail.com> wrote: > Yeah, let's get them all into one list and I'll commit the whole thing > together.
+1 -- Peter Geoghegan