Re: ALTER TABLE results in "ERROR: could not open relation with OID 43707388"

"David G. Johnston" <david.g.johnston@gmail.com> writes:
> On Thu, Jul 4, 2019 at 7:42 AM Manuel Rigger <rigger.manuel@gmail.com>
> wrote:
>> I would expect that the statements are equivalent to the following,
>> where the ALTER TABLE actions were split up, and which execute without
>> errors:

> This has been fixed for version 11.5 which is as yet unreleased.

Really?  Cause it still fails in HEAD for me.  It might be related to
that new-in-11.4 bug, or to the old bug we were trying to fix, but
I fear it's a distinct problem.  I've not had time to dig into the code
though.