PR #2309 'Jump to time' in thread side panel

'Jump to time' in thread side panel #2309

dbkr merged 2 commits into experimental2 from dbkr/jump_to_time_remote

'Jump to time' in thread side panel

2be3beee

Actually use the timestamp-to-event API

44ed88af

dbkr requested a review 7 years ago

bwindels approved these changes on 2018-11-28

dbkr merged 87bd431c into experimental2 7 years ago

Reviewers

bwindels

Assignees

No one assigned

Labels

None yet

Milestone

No milestone