8669263
This undoes 8669263..1880a5b as a single revert commit; the reverted work remains reachable in history at 1880a5b.
1880a5b