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

26 Jan 2017


      commit 1bf1db66e0067d39fa1413da1f8108bc2807a035
Merge: 23cc654 3ecd815
Author: Fredrik Rinnestam <fredrik@crux.nu>
Date:   Thu Jan 26 22:13:13 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