Checkout
rjung
committed
on 02 Oct 18
Remove garbage.

Backport of r1842639 from trunk.