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

crux at crux.nu crux at crux.nu
Thu Jun 25 16:26:13 UTC 2020


commit 484cd2a920a491822bf2ce436c2c743967ab1c44
Merge: a6130729 f91ad632
Author: Juergen Daubert <jue at jue.li>
Date:   Thu Jun 25 16:25:36 2020 +0000

    Merge branch '3.5' into 3.6


More information about the crux-commits mailing list