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

commit 1f345db8e93b9c82b976242050e43f65a2c4c64a Merge: 84556e91a 79b16924c Author: Matt Housh <jaeger@crux.ninja> Date: Wed May 16 16:29:02 2018 -0500 Merge branch '3.3' into 3.4