K 10
svn:author
V 5
danfe
K 8
svn:date
V 27
2019-10-27T17:59:05.242028Z
K 7
svn:log
V 109
Prune Linux entries from distinfo which are not needed after r515584
and remove now no-op EXTRACT_ONLY knob.

END