On Mon, May 22, 2023 at 08:42:28AM +0200, Peter Eisentraut wrote:
> On 21.05.23 19:07, Nathan Bossart wrote:
>> How do folks feel about keeping --role undocumented? Should we give it a
>> mention in the docs for --member-of?
>
> We made a point in this release to document deprecated options consistently.
> See commit 2f80c95740.
Alright. Does the attached patch suffice?
--
Nathan Bossart
Amazon Web Services: https://aws.amazon.com