K 10
svn:author
V 5
pstef
K 8
svn:date
V 27
2018-06-03T18:34:36.494722Z
K 7
svn:log
V 87
indent(1): don't add a space after a label

It's not needed and it fools pr_comment().

END