K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2018-08-20T20:31:53.433693Z
K 7
svn:log
V 122
Move options INTRNG into std.armv6 and std.armv7

INTRNG is required on all armv6 and armv7 systems, so make it
standard.

END