[crux-commits] ports/opt (3.7): openmp: 19.1.3 -> 19.1.4