On Mon, Jan 06, 2020 at 10:45:08PM -0800, Andres Freund wrote:> Not from here
[A couple of days later]Committed as of b0b6196.--Michael