[crux-commits] ports/opt (3.1): git: 2.4.6 -> 2.5.0