> >> Am 30.11.2019 um 08:23 schrieb linmiaohe <linmiaohe@xxxxxxxxxx>: >> >> >>> >>>> From: Miaohe Lin <linmiaohe@xxxxxxxxxx> >>>> >>>> The jump labels try_prev and none are not really needed in >> friendly ping ... >> > >We‘re currently in the merge phase, and U.S.A. just had Thanksgiving - so it might take some time to get picked up. Cheers! Hi, Thanks for your remind. This patch have been silent for almost half a month, so I send this ping. Thanks again.
