This repository has been archived by the owner on Jun 7, 2022. It is now read-only.
Re-implement priority stop #255
Labels
done
This issue has been dealt with and will be closed with the next pull request into master
enhancement
New feature or request
Milestone
The current development branch has removed the awkwardly implemented priority stop functionality.
This issue shall be used to track the process of a proper re-implementation of this feature.
The text was updated successfully, but these errors were encountered: