On Wed, Jan 30, 2019 at 12:22:15PM +0100, Peter Eisentraut wrote:> Committed and backpatched with your and Noah's changes.
Thanks, Peter.--Michael