On Tuesday, 3 September 2019 07:53:29 CEST Liang Qi wrote: > It happened so fast this time. > > But 5.12.5 was branched out before this cherry-pick mode change on 5.12 > branch, I plan to do the 5.12.5->5.12->5.13 merges after 5.12.5 is out. Is > it OK? That sounds good. Otherwise we might need to cherry-pick up. 'Allan