K 10
svn:author
V 3
mat
K 8
svn:date
V 27
2019-05-02T14:18:22.292854Z
K 7
svn:log
V 100
Document that USE_GIT(HUB|LAB)=nodefault needs some special handling.

PR:		235762
Reported by:	jhb

END