K 10
svn:author
V 8
rmacklem
K 8
svn:date
V 27
2020-07-24T23:51:08.483913Z
K 7
svn:log
V 68
Rename file back to .s from .S so that a merge from head will work.

END