[crux-commits] ports/core (3.8): Merge remote-tracking branch 'origin/3.7' into 3.8