[crux-commits] ports/opt (3.5): python3-pip: 19.3.1 -> 20.0.2