On Sun, Nov 25, 2018 at 04:56:13PM +0100, Peter Eisentraut wrote:> Committed with that addition.
Thanks for adding that!--Michael