On Fri, Sep 20, 2024 at 8:49 PM Robert Haas <robertmh...@gmail.com> wrote: > On Fri, Sep 20, 2024 at 2:34 PM Tom Lane <t...@sss.pgh.pa.us> wrote: > > I'm now inclined to add wording within the pg_has_role entry > I don't have an opinion about the details, but +1 for documenting it
+1 as well. Especially since I now recall, in hindsight, about reading the *distant* mention about 'WITH ADMIN OPTION' that could be added, but still forgot about it when reading only the *immediate* doc on pg_has_role(). My $0.02. --DD
