K 10
svn:author
V 4
bapt
K 8
svn:date
V 27
2020-02-20T16:38:30.134368Z
K 7
svn:log
V 108
Use OLD_LIBS instead of OLD_FILES so the user get a chance to keep them around if needed

Reported by:	tijl

END