This repository was archived by the owner on Jun 7, 2022. It is now read-only.
This repository was archived by the owner on Jun 7, 2022. It is now read-only.
Re-implement priority stop #255
Description
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.