On Mon, Apr 02, 2018 at 11:39:57AM -0400, Peter Eisentraut wrote:> committed
Thanks for the commit, Peter.--Michael