From: Klemens Nanni <kn@openbsd.org>
Subject: Re: [update] math/z3: update to 4.13.0
To: OpenBSD ports <ports@openbsd.org>
Date: Tue,  3 Sep 2024 17:49:04 +0000

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.