On Mon, May 22, 2023 at 05:11:14AM -0700, Nathan Bossart wrote:
> 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?
Seeing the precedent with --no-blobs and --blobs, yes, that should be
enough. You may want to wait until beta1 is stamped to apply
something, though, as the period between the stamp and the tag is used
to check the state of the tarballs to-be-released.
--
Michael
