On Fri, Sep 23, 2016 at 5:26 AM, Lv Zheng <[email protected]> wrote:
> This reverts commit 00c611def8748a0a1cf1d31842e49b42dfdb3de1.

It would be good to say why it is now OK to revert it.

Thanks,
Rafael

Reply via email to