Thanks for the discussion, folks. I'll be starting a vote thread now. Dongjin, thanks for updating the link to the discussion thread.
Best, Stanislav On Sun, Mar 3, 2019 at 1:30 PM Manikumar <[email protected]> wrote: > Hi Stanislav, > > I too don't have strong preference between both the metrics. > Adding `startTime` metric is reasonable to me. > > Thanks, > Manikumar > -- Best, Stanislav
