[Tcwg-commits] [openmp] branch master updated (700a1a0 -> 1238ecb)