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

commit df7355249b87e50e32e34b089b482c07eb022a45 Merge: 28ab613 e65cfec Author: Fredrik Rinnestam <fredrik@crux.nu> Date: Mon Oct 26 18:27:19 2015 +0100 Merge branch '3.1' into 3.2