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

Reply via email to