Re: Issue with @vector-partition

[Arthur A. Gleckler]

On Sat, Jun 10, 2023 at 1:24 AM John Cowan <cowan@ccil.org> wrote:

> LGTM.
>

Thanks.  Merged and pushed.

Thanks to Shawn for reporting and fixing this, including tests.