diff options
author | bdonlan <bdonlan@gmail.com> | 2020-11-23 10:42:50 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-23 10:42:50 -0800 |
commit | ae67851f11b7cc1f577de8ce21767ce3e2c7aff9 (patch) | |
tree | be43cb76333b0e9e42a101d659f9b2e41555d779 /.gitignore | |
parent | f927f01a34d7cedf0cdc820f729a7a6cd56e83dd (diff) |
time: use intrusive lists for timer tracking (#3080)
More-or-less a half-rewrite of the current time driver, supporting the
use of intrusive futures for timer registration.
Fixes: #3028, #3069
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions