[crux-commits] ports/opt (3.3): Merge branch '3.2' into 3.3

18 Jan 2017


      commit 9a82e62e17487072039c397d7c1f81ae1850b8ca
Merge: 918fd65 5ae83cb
Author: Juergen Daubert <jue@jue.li>
Date:   Wed Jan 18 16:41:46 2017 +0100

    Merge branch '3.2' into 3.3

[crux-commits] ports/opt (3.3): Merge branch '3.2' into 3.3

crux＠crux.nu