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