On Sun, May 12, 2019 at 10:15:05AM -0400, Tom Lane wrote:
> +1 for a HEAD-only change. I think the only really good arguments
> for back-patching would be if this were causing compiler warnings
> (but we've seen none) or if we thought it would likely lead to
> hazards for back-patching future bug fixes (but the adjacent lines
> seem unlikely to change).
If it were to generate warnings, we would have already caught them as
this comes from 1171dbd. Committed to HEAD.
--
Michael