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

Commit hash: 49910dea094ffc22caae280ca090341f4cc4d39c Author: Tim Biermann <tbier@posteo.de> Date: Thu Nov 07 09:43:47 2024 UTC+01:00 URL: https://git.crux.nu/ports/opt/commit/49910dea094ffc22caae280ca090341f4cc4d39... Commit message: Merge remote-tracking branch 'origin/3.7' into 3.8