Re: CI speed improvements for FreeBSD

[Thomas Munro]

On Wed, Mar 13, 2024 at 4:50 AM Maxim Orlov <orlo...@gmail.com> wrote:
> I looked at the changes and I liked them.  Here are my thoughts:

Thanks for looking!  Pushed.