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

commit e3b8b7a9c9b7d466b727562d250a82dc085494c2 Merge: 9a382a2 fd1e65b Author: Fredrik Rinnestam <fredrik@crux.nu> Date: Sun Aug 21 21:01:35 2016 +0200 Merge branch '3.2' into 3.3