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

3 Jan 2017


      commit 44a374c931c61f9bc23899fd6c2414e12132ef81
Merge: 7e42f6c a124633
Author: Fredrik Rinnestam <fredrik@crux.nu>
Date:   Tue Jan 3 23:55:42 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