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

26 Mar 2025

      Commit hash: f85d946416f77e99de4ec4f83501a4b4b309bf3c
Author: Juergen Daubert <jue@crux.nu>
Date: Wed Mar 26 10:40:58 2025 UTC+01:00
URL: https://git.crux.nu/ports/opt/commit/f85d946416f77e99de4ec4f83501a4b4b309bf3...

Commit message:

Merge remote-tracking branch 'origin/3.7' into 3.8

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

crux＠crux.nu