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

17 Aug 2024

      Commit hash: 8282bcd8be0c3810932bfefece85ddca469bdbcc
Author: Juergen Daubert <jue@crux.nu>
Date: Sat Aug 17 02:26:46 2024 UTC+02:00
URL: https://git.crux.nu/ports/opt/commit/8282bcd8be0c3810932bfefece85ddca469bdbc...

Commit message:

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

crux＠crux.nu

tags

participants (1)