More timing tweaks. Fix #105 again

This commit is contained in:
2020-06-11 11:36:06 +02:00
parent f94d0466f6
commit 74146540ff
3 changed files with 17 additions and 5 deletions

File diff suppressed because one or more lines are too long