K 10
svn:author
V 4
ngie
K 8
svn:date
V 27
2017-10-23T04:42:57.529885Z
K 7
svn:log
V 165
Diff reduce with ^/head

This doesn't seem to be necessary after the changes to only apply --coverage
to shared objects.

We'll see if it works with make tinderbox.

END