K 10
svn:author
V 7
olivier
K 8
svn:date
V 27
2018-03-27T21:43:32.791116Z
K 7
svn:log
V 92
Fix installation when RPKI option is disabled

PR:		227013
Reported by:	pautina@kharkiv.net

END