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

commit 20fab2335e8ce61b8fcb937b56258340dd5909d7 Merge: c725f43 9969b4e Author: Fredrik Rinnestam <fredrik@crux.nu> Date: Sat Aug 1 19:47:22 2015 +0200 Merge branch '3.1' into 3.2