On Tue, Aug 22, 2017 at 3:43 AM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
> Works for me. While I'm sure this won't eclipse previous achievements
> in this area, it still seems worthwhile.
This one is intentional per what happens in the US today? ;)
--
Michael