On Mon, Aug 21, 2017 at 9:59 AM, Xinliang David Li <davidxl at google.com> wrote: > There was an error in the handling the single predecessor. Will reinstall > the fixed patch soon. Makes sense, thanks. -- Davide