K 10
svn:author
V 4
dmgk
K 8
svn:date
V 27
2019-11-02T16:05:25.712173Z
K 7
svn:log
V 87
Use correct CONFIGURE_WITH helper

Reported by:	mat
Approved by:	tz (mentor, implicit)

END