Checkout
Daniel Shahaf
committed
on 01 Oct 18
Revert r1842503.

It was mostly redundant with respect to r1842502; the non-redundant part was
ported to publish/ in r1842504.