[Tcwg-commits] [openmp] branch master updated (0a3b7b6 -> a86b5e4)