Re: Record a Bitmapset of non-pruned partitions

[David Rowley]

On Fri, 1 Oct 2021 at 13:37, Amit Langote <amitlangot...@gmail.com> wrote:
> > I've attached a patch that updates the comments to mention this.
>
> Looks good to me.  Thanks.

Thanks. Pushed.

David