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

crux at crux.nu crux at crux.nu
Tue Aug 11 09:17:20 UTC 2020


commit 7604badfd1afb43920d8b9d1307501c0f6caca84
Merge: 5146dfd9 0c9f2d6f
Author: Juergen Daubert <jue at jue.li>
Date:   Tue Aug 11 09:16:46 2020 +0000

    Merge branch '3.5' into 3.6


More information about the crux-commits mailing list