On Sun, Apr 29, 2018 at 03:49:53PM -0700, Andres Freund wrote:> Isn't that what bc19b7836215b1a847524041a1bd138d7bb5cbef did?
Oops, sorry. Missed this one.--Michael