[crux-commits] ports/opt (3.7): openmp: 18.1.3 -> 18.1.4