K 10
svn:author
V 3
dbn
K 8
svn:date
V 27
2018-08-07T16:40:53.024761Z
K 7
svn:log
V 86
USES=linux: DEV_ERROR if linux package does not exist

PR:		225768
Approved by:	tijl@

END