Skip to content

Use proactive term instead of non-reactive#1552

Merged
martintmk merged 1 commit intomainfrom
mtomka/use-proactive-term
Sep 6, 2023
Merged

Use proactive term instead of non-reactive#1552
martintmk merged 1 commit intomainfrom
mtomka/use-proactive-term

Commits

Commits on Sep 5, 2023