On 10/3/18, 5:28 AM, "Daniel Lezcano" <daniel.lezc...@linaro.org> wrote:
> the branch tip:timers/urgent will be merged in tip:/timers/core, so the fixes > will be propagated to the master branch. > Base your change in top of tip:timers/urgent, the merge will happen soon and > both fixes will end up in tip:timers/core. Got it. Thank you Daniel. - Tao
