On Fri, 2021-03-12 at 21:41 +0000, Bossart, Nathan wrote: > On 3/12/21, 11:14 AM, "Joe Conway" <m...@joeconway.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