[crux-commits] ports/opt (3.2): Merge remote-tracking branch 'origin/3.1' into 3.2

22 Aug 2015


      commit 8c200c0d18c758787987c62fb32e9fdd0714534c
Merge: 1a39fe9 ed0856d
Author: Juergen Daubert <jue@jue.li>
Date:   Sat Aug 22 12:37:05 2015 +0200

    Merge remote-tracking branch 'origin/3.1' into 3.2

[crux-commits] ports/opt (3.2): Merge remote-tracking branch 'origin/3.1' into 3.2

crux＠crux.nu