K 10
svn:author
V 5
leres
K 8
svn:date
V 27
2018-11-04T02:01:10.823479Z
K 7
svn:log
V 155
Pin to gcc7 and unblock 231590 which wants to update GCC_DEFAULT
from 7 to 8.

PR:		232933
Reported by:	Gerald Pfeifer
Approved by:	ler (mentor, implicit)

END