On Sun, Feb 17, 2019 at 05:31:43PM -0500, Tom Lane wrote:> So I think targeting this for HEAD only is fine.
OK, thanks for helping me catching up, Tom and David!--Michael