[crux-commits] ports/core (3.8): Merge remote-tracking branch 'origin/3.7' into 3.8

Commit hash: c99ded5ec1960b2fb0518b48b6a4eb8ef01c58eb Author: Juergen Daubert <jue@crux.nu> Date: Sat Nov 23 01:42:18 2024 UTC+01:00 URL: https://git.crux.nu/ports/core/commit/c99ded5ec1960b2fb0518b48b6a4eb8ef01c58... Commit message: Merge remote-tracking branch 'origin/3.7' into 3.8