K 10
svn:author
V 6
amdmi3
K 8
svn:date
V 27
2017-11-29T17:40:16.533625Z
K 7
svn:log
V 65
- Fix server build

PR:		222408
Reported by:	gerrit@weinberg2.de

END