K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2017-05-03T16:55:02.048530Z
K 7
svn:log
V 67
Replace 'riscv' with the RISC-V targets 'riscv64' and 'riscv64sf'.

END