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