K 10
svn:author
V 3
dim
K 8
svn:date
V 27
2019-03-16T13:43:07.449837Z
K 7
svn:log
V 117
Merge openmp release_80 branch r356034 (effectively, 8.0.0 rc5).

PR:		236062
MFC after:	1 month
X-MFC-With:	r344779

END