[crux-commits] ports/opt (3.7): rust: 1.71.1 -> 1.72.0