[Tcwg-commits] [openmp] branch master updated (0afc673 -> a31ae2e)