PR #2302 Add 'jump to time' feature

Add 'jump to time' feature #2302

bwindels merged 3 commits into experimental2 from dbkr/jump_to_time

Add 'jump to time' feature

0cad5a52

And also the new files

b5fd5eca

Fix statement order

b2e40fbb

bwindels approved these changes on 2018-11-27

bwindels merged 7849c987 into experimental2 7 years ago

Reviewers

bwindels

Assignees

No one assigned

Labels

None yet

Milestone

No milestone