On 3/12/21, 11:14 AM, "Joe Conway" <m...@joeconway.com> wrote: > On 3/12/21 1:16 PM, Bossart, Nathan wrote: >> My main goal of this thread is to get the RESET ROLE documentation >> fixed. I don't have a terribly strong opinion on documenting these >> special uses of "role". I lean in favor of adding it, but I wouldn't >> be strongly opposed to simply leaving it out for now. But if we're >> going to add it, I think we might as well add it everywhere. > > > 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. Nathan