Re: [update] math/z3: update to 4.13.0

[Klemens Nanni]

03.09.2024 19:07, Kirill A. Korinsky пишет:
> Here an updated diff where I've backported patch from upstream which fixed
> crash on OpenBSD as side effect.

Thanks, committed.