On Fri, 2021-03-12 at 21:41 +0000, Bossart, Nathan wrote:
> On 3/12/21, 11:14 AM, "Joe Conway" <mail(at)joeconway(dot)com> wrote:
> > Looking back at the commit history it seems to me that this only works
> > accidentally. Perhaps it would be best to fix RESET ROLE and be done with it.
>
> That seems reasonable to me.
+1 from me too.
Yours,
Laurenz Albe