tree 8694817f4098b6e4d95cdb8c6f8e362b8ba9817e
parent 9f764b5aea1470302ba726f802c5a4be85a8a1e9
author Junxiao Shi <git@mail1.yoursunny.com> 1470797999 +0000
committer Junxiao Shi <git@mail1.yoursunny.com> 1470797999 +0000

util: redesign scheduler::EventId

refs #3691

Change-Id: I5bc49e6a15ae7364c654ca61bd2cf0f95a5c173b