On Sat, May 09, 2020 at 07:11:56PM -0400, Tom Lane wrote:
> I'd be OK with pushing it now, but I dunno about other people.
Sounds like a good idea to me to apply this part now.
> If we do want to push this sort of thing now, the nearby changes
> to enable fallthrough warnings should go in too.
If we do that, merging this second part before beta1 is out looks like
a good compromise to me.
--
Michael