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

Commit hash: cb881154281d8404a5a1260e7aa75b9209637b96 Author: Tim Biermann <tbier@posteo.de> Date: Sun Nov 10 10:39:43 2024 UTC+01:00 URL: https://git.crux.nu/ports/opt/commit/cb881154281d8404a5a1260e7aa75b9209637b9... Commit message: Merge remote-tracking branch 'origin/3.7' into 3.8