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

Commit hash: e0062fea0a9a57d0f2d53daed3a392b18219b038 Author: Juergen Daubert <jue@crux.nu> Date: Tue Dec 31 12:50:58 2024 UTC+01:00 URL: https://git.crux.nu/ports/opt/commit/e0062fea0a9a57d0f2d53daed3a392b18219b03... Commit message: Merge remote-tracking branch 'origin/3.7' into 3.8