[crux-commits] ports/opt (3.6): Merge branch '3.5' into 3.6

crux at crux.nu crux at crux.nu
Wed Jul 22 20:45:02 UTC 2020


commit 2f2958826ec4114d64379ca91f4e4261a85a5af6
Merge: 02c3979f0 6d0a45c34
Author: Fredrik Rinnestam <fredrik at crux.nu>
Date:   Wed Jul 22 22:44:58 2020 +0200

    Merge branch '3.5' into 3.6


More information about the crux-commits mailing list