v0.3.25

Stefan Lankes

@slankes

14b104fb · increase version number · Apr 15, 2020

add check if a task with higher priority is available

- wakeup handler checks if a task with higher priority is available
- if yes the handler calls the scheduler