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

1 Mar 2024

      Commit hash: d2d0aa7e065ae490fbb9cb5663485480f717203a
Author: Juergen Daubert <jue@crux.nu>
Date: Fri Mar 01 09:36:11 2024 UTC+01:00
URL: https://git.crux.nu/ports/opt/commit/d2d0aa7e065ae490fbb9cb5663485480f717203...

Commit message:

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

crux＠crux.nu

tags

participants (1)