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
signature.asc
Description: PGP signature