K 10
svn:author
V 3
mat
K 8
svn:date
V 27
2020-02-11T14:14:49.303056Z
K 7
svn:log
V 83
Update to v5.31.8-135-gd34b46d077.

While there, run portfmt and portclippy a bit.

END