K 10
svn:author
V 4
manu
K 8
svn:date
V 27
2019-12-03T09:06:37.211135Z
K 7
svn:log
V 105
Revert r355188 as it shouldn't have created the risc-v directory at
the top level.

Reported by:	rpokala

END