K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2010-11-19T20:23:01.310774Z
K 7
svn:log
V 110
Fix-up r215539 by specifying correctly the ISA headers are they are not
shared on STABLE_8.

Reported by:	kib

END