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

20 Jan 2017


      commit a90d23a9bcbaa2bf5b76d2204310fe8a0ae90542
Merge: 95ecf5d cbe95db
Author: Juergen Daubert <jue@jue.li>
Date:   Fri Jan 20 12:15:59 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