On Tue, Aug 30, 2022 at 8:24 AM Robert Haas <robertmh...@gmail.com> wrote: > On Mon, Aug 29, 2022 at 10:16 PM Robert Haas <robertmh...@gmail.com> wrote: > > I'll figure out a fix tomorrow when I'm less tired. Thanks for catching it. > > Second try.
Third try. -- Robert Haas EDB: http://www.enterprisedb.com
v3-0001-Fix-a-bug-in-roles_is_member_of.patch
Description: Binary data
