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

Commit hash: 88340a931891eb465f515045790a68edb0d3e492 Author: Juergen Daubert <jue@crux.nu> Date: Thu Aug 22 10:49:55 2024 UTC+02:00 URL: https://git.crux.nu/ports/core/commit/88340a931891eb465f515045790a68edb0d3e4... Commit message: Merge remote-tracking branch 'origin/3.7' into 3.8