On Fri, May 20, 2022 at 05:23:19PM +0200, Alvaro Herrera wrote:
> The other option, of course, is to not backpatch any of this earlier
> than 14. But the OP says she was experimenting with version 10
> initially.
Nah. I think that you are right to have done that down to 10 with the
extra test coming from 14~. Thanks for fixing the issue!
--
Michael