Re: Peter Geoghegan 2019-07-16 <CAH2-Wz=jvYQmPgSxZCdHe1NwK+S3j1jF6ydc1G0eHs7BNdpn2w(at)mail(dot)gmail(dot)com>
> Maybe you can try this out with your original test case, Christoph?
I applied the patch to 12/HEAD and the Debian testsuite now passes the
10->12 upgrade test.
Thanks,
Christoph