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

crux at crux.nu crux at crux.nu
Sat Jul 25 10:14:20 UTC 2020


commit db5d2e5be42526dd9a4ec1b90a8075a28ac3fc50
Merge: 3cc96287 b6ec5125
Author: Juergen Daubert <jue at jue.li>
Date:   Sat Jul 25 10:13:05 2020 +0000

    Merge branch '3.5' into 3.6


More information about the crux-commits mailing list