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

crux at crux.nu crux at crux.nu
Sat Aug 15 15:04:01 UTC 2020


commit 5a67a80606211d264c071e9be179a96498244e14
Merge: 9be97b192 bbd2414d8
Author: Juergen Daubert <jue at jue.li>
Date:   Sat Aug 15 15:03:47 2020 +0000

    Merge branch '3.5' into 3.6


More information about the crux-commits mailing list