K 10
svn:author
V 7
olivier
K 8
svn:date
V 27
2020-08-20T23:15:06.415344Z
K 7
svn:log
V 96
Revert r545567: A smarter patch was committed 10 minutes before this one.

Reported by:	zeising

END