Skip to content

Rename "idle" and "pulled" states#55

Merged
christoph-blessing merged 2 commits intosinzlab:mainfrom christoph-blessing:rename_statesNov 10, 2023

Commits

Commits on Nov 10, 2023