On Wed Dec 3, 2025 at 8:55 PM CET, Matthias Kilian wrote:
> On Wed, Dec 03, 2025 at 11:34:26AM +0100, Marco van Hulten wrote:
>> Peter Hajdu was so helpful to mention that there is a problem with newer
>> versions of splitmix on at least OpenBSD.  New diff below.
>> 
>> Is this OK?  Could someone import it?
> [...]
>
> I'll give it a try, but my build machine is currently running a bulk
> build, which may take some days, so please be a little bit patient.

No problem, thanks for the heads up.  Also fine if gnezdo@ commits it of
course.

> Ciao,
> 	Kili
>
> ps: next time, please send unified diffs (diff -ru for your setup)

Will do.

 Marco